Está en la página 1de 14

UNIDAD 1, 2,3

SUSTENTACIÓN

NOMBRE: ANA TERESA RODRIGUE LOPEZ

CODIGO: 1073324919

GRUPO: 200611_1670

TUTOR: JUAN DAVID LACHARME

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO

FECHA: 21/11/2019
Ejercicio 1: Aplicación de la Teoría de Conjuntos

E. En una fiesta a la que asistieron 131 invitados, una persona que estaba aburrida
observó que de los 79 invitados que comieron pollo, 28 comieron solamente pollo.
Entre las 60 personas que comieron carne vacuna, hubo 21 invitados que también
comieron pescado. De los 50 que comieron pescado, 12 comieron sólo pescado. Por
alguna razón, 9 comieron las tres cosas.

De acuerdo con la información suministrada, responder:

U: 131

PO: 79 CV: 60

25
28
14

9
12
17

12

14 P: 50

U: 131 PO ∩ CV ∩ P: 9
PO: 79 solo PO: 79-25-9-17=28
CV: 60 solo CV: 60-25-9-12=14
P: 50 solo P: 50-17-9-12=12
PO ∩ CV: 34 U: 131-117=14
CV ∩ P: 21 no comieron: 14
PO ∩ P: 26
- ¿Cuántos comieron pollo y carne vacuna?

U: 131

PO: 79 CV: 60

14
28
25

17 50 9 12

12

14 P: 50

R: 34 comieron pollo y carne vacuna 25+9=34


 ¿Cuántas comieron solo pollo y carne vacuna?

U: 131

PO: 79 CV: 60

14
28
25

17 5019 12

12

14 P: 50

R: 25 comieron solo pollo y carne vacuna


 ¿Cuántos comieron sólo carne vacuna?

PO: 79 CV: 60

14
28
25

17 501 9 12

12

14 P: 50

R: 14 comieron solo carne


 ¿Cuántas no comieron ninguna de las tres cosas?

U:131

PO: 79 CV: 60

14
28
25

17 501 9 12

12

14 P: 50

R: 14 no comieron ninguna de las tres cosas


 ¿Cuántas comieron una sola cosa?

PO: 79 CV: 60

14
28
25

17 501 9 12

12

14 P: 50

R: 54 comieron una sola cosa 28+14+12= 54


 ¿Cuántas comieron solo dos cosas?

U: 131

PO: 79 CV: 60

14
28
25

17 501 9 12

12

14 P: 50

R: 54 comieron solo dos cosas 25+17+12= 54


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

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de


Conocimiento (Unidad 3), la siguiente referencia:

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un


argumento para el desarrollo del ejercicio 2.:

E. Expresión simbólica:
[(𝑝 → 𝑞)˄(𝑞 → 𝑟)˄(𝑝 ∨ 𝑞)] → 𝑟

Determinación de Premisas: (De acuerdo a la expresión simbólica divida el argumento


en premisas de forma vertical y deben ser numeradas)

Premisas:
P1: 𝒑 → 𝒒
P2: 𝒒 → 𝒓
P3: 𝒑 ∨ 𝒒

Conclusión: 𝒓
Desarrollo:

 Proposiciones simples: (se define cada proposición simple del argumento, siempre en
afirmativo y con letras en minúscula).

[(𝒑 → 𝒒)˄(𝒒 → 𝒓)˄(𝒑 ∨ 𝒒)] → 𝒓

 Proposiciones simples:

P: Ana vive en puerto salgar


Q: puerto salgar es cálido
R: puerto salgar es muy turístico

Si Ana vive en puerto salgar, entonces puerto salgar es cálido. Puerto salgar
es cálido, entonces puerto salgar es muy turístico. Ana vive en puerto salgar o
puerto salgar es cálido.
En conclusión es muy turístico
 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de
acceso al recurso)

𝒑 𝒒 𝒓 [(𝒑 (𝒒 (𝒑 (𝒑 → 𝒒)˄(𝒒 [(𝒑 → 𝒒)˄(𝒒 → 𝒓)˄(𝒑 [(𝒑 → 𝒒)˄(𝒒 → 𝒓)˄(𝒑


→ 𝒒) → 𝒓) ∨ 𝒒) → 𝒓) ∨ 𝒒)] ∨ 𝒒)] → 𝒓

V V V V V V V v V
V V F V F V F f V
V F V F V V F f V
V F F F V V F f V
F V V V V V V V V
F V F V F V F f V
F F V V V F V F V
F F F V V F V F V

 Resultado de la tabla de verdad: TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD


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

 leyes de inferencia:

[(𝒑 → 𝒒)˄(𝒒 → 𝒓)˄(𝒑 ∨ 𝒒)] → 𝒓

Premisas:
P1: 𝒑 → 𝒒
P2: 𝒒 → 𝒓
P3: 𝒑 ∨ 𝒒

Conclusión: 𝒓

P1: 𝒑 → 𝒒
P2: 𝒒 → 𝒓
P3: 𝒑 ∨ 𝒒
P4: p →r SH (1,2)
P5: r simpl disyuntiva (2, 4,3)

Conclusión: r
REFERNCIA

- Sánchez, H. R. (2014). Álgebra. (pp. 14 - 29). México, D.F., México: Larousse -


Grupo Editorial Patria

- Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y


computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

También podría gustarte