1.

Ejercicio 4: Problemas de aplicación

Expresión simbólica:

{[(p ∧ r) → (p ∧ s)] ∧ (p ∧ r)}→ s

Premisas:

P1: (p ∧ r) → (p ∧ s)

P2: (p ∧ r)

Conclusión: s

 Preposiciones simples:

P: carlos hace ejercicio

R: carlos come sano

S: carlos es una persona con buena salud

 Lenguaje natural:

� r s p∧ p∧ (p ∧ r) → (p ∧ {[(p ∧ r) → (p ∧ s)] ∧ (p ∧ r)}→ s

� r s s)

V V V V V V V
V V F V F F V
V F V F V V V
V F F F F V V
F V V F F V V
F V F F F V V
F F V F F V V
F F F F F V V
Si calos hace ejercicio y come sano entonces carlos hace ejercicio y es una persona

con buena salud. Y carlos hace ejercicio y come sano entonces carlos es una

persona de buena salud.

 Tabla de verdad simulador unad