Sunteți pe pagina 1din 6

Lógica Matemática

Unidad 1 y 2

Tarea 3 – Sustentación

Presentado por:

Ana Milena Polindara Cód.: 25281717

Código del curso: 90004_301

Tutor:

Joshua Antonio Robledo

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería


Ingeniería De Sistemas
Noviembre 2.018
Ejercicio 1: Aplicación de la Teoría de Conjuntos
a) Determina el número de estudiantes de un curso, si se sabe que cada uno participa en al

menos una de los tres cursos de verano español, inglés o filosofía. 48 participan en el de

español, 45 en el de inglés, 49 en el de Filosofía, 28 en el de español e inglés, 26 en el de

español y Filosofía, 28 en el de inglés y filosofía y 18 en los tres seminarios. ¿Cuántos

estudiantes participan en los seminarios de inglés y español, pero no en el de filosofía?

¿Cuántos participan sólo en el de filosofía? ¿Cuántos estudiantes participaron en total?

Representar la información dada en un diagrama de Venn Euler

U= (número de estudiantes)
A= (español)
B= (inglés)
C=(Filosofía)

U
A B

12
10 7

18

8 10

13

C
¿Cuántos estudiantes participan en los seminarios de inglés y español, pero no en el de

filosofía?

R// En inglés y Español participan 29 estudiantes

¿Cuántos participan sólo en el de filosofía?

R// Participan 13 estudiantes

¿Cuántos estudiantes participaron en total?

R// En total participaron 78 estudiantes

Ejercicio 2: Métodos para probar la validez de un argumento

a. Expresión simbólica: [(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑠)⋀(¬𝑟)] → 𝑠

Premisas:
P1: 𝑝 ∨ 𝑞
P2: 𝑝 → 𝑟
P3: 𝑞 → 𝑠
P4: ¬𝑟

Conclusión: 𝒔

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

p: Jineth finalizó el colegio

q: presentó pruebas Icfes

r: Si saca buen puntaje la primera opción es estudiar Administración de Empresa

s: la segunda opción sería Licenciatura en Matemáticas


Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

[(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑠)⋀(¬𝑟)] → 𝑠

Jineth Finalizó el colegio o presentó pruebas Icfes, y Jineth finalizó colegio entonces si saca

buen puntaje la primera opción es estudiar administración de empresas y si presentó pruebas

Icfes entonces la segunda opción sería Licenciatura en Matemáticas y no estudiaría la primera

opción que es estudiar Administración de empresas.

Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico

Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel
o foto del desarrollo manual).

[(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑠)⋀(¬𝑟)] → 𝑠
p q r s (p v q) (p→ r) (q→ s) (¬𝐫) (p v q) ∧(p→ r) (q→ s) ∧ (¬𝒓) (p v q) ∧(p→ r) ) ∧(q→ s) ∧ (¬𝒓) [(𝒑 ∨ 𝒒) ∧ (𝒑 → 𝒓) ∧ (𝒒 → 𝒔)⋀(¬𝒓)]
→𝒔

V V V V V V V F V F F V

V V V F V V F F V F F V

V V F V V F V V F V F V

V V F F V F F V F F F V

V F V V V V V F V F F V

V F V F V V V F V F F V

V F F V V F V V F V F V

V F F F V F V V F V F V

F V V V V V V F V F F V

F V V F V V F F V F F V

F V F V V V V V V V V V

F V F F V V F V V F F V

F F V V F V V F F F F V

F F V F F V V F F F F V

F F F V F V V V F V F V

F F F F F V V V F V F V

Demostración de la validez del argumento mediante las leyes de la inferencia lógica


[(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑠)⋀(¬𝑟)] → 𝑠

Jineth Finalizó el colegio o presentó pruebas Icfes, y Jineth finalizó colegio entonces si saca

buen puntaje la primera opción es estudiar administración de empresas y si presentó pruebas

Icfes entonces la segunda opción sería Licenciatura en Matemáticas y no estudiaría la primera

opción que es estudiar Administración de empresas.


p: Jineth finalizó el colegio

q: presentó pruebas Icfes

r: Si saca buen puntaje la primera opción es estudiar Administración de Empresa

s: la segunda opción sería Licenciatura en Matemáticas


Premisas:
P1: 𝑝 ∨ 𝑞
P2: 𝑝 → 𝑟
P3: 𝑞 → 𝑠
P4: ¬𝑟

Conclusión: 𝒔

S-ar putea să vă placă și