EJERCICIO 3- PROBLEMAS DE APLICACIÓN

KAROL YULISSA CANTILLO FAJARDO

1001815171

GRUPO 568

TUTOR: JULIAN EDUARDO HOYOS

UNIVERSIDAD NACIONAL ABIERTA Y DISTANCIA

PENSAMIENTO LOGICO MATEMATICO

NOVIEMBRE 2019
EXPRESION SIMBOLICA:

C. [( p ∨(q ∧r )) ∧¬ ( q ∧r ) ∧ ( p → s )]→ s

Premisas:

P1: p ∨( q ∧r )
P2: ¬ ( q ∧r )
P3: p → s

Conclusión: s

DESARROLLO:

1. Proposiciones simples:

p: Corro todas las mañanas.

q: voy al gimnasio 4 días a la semana.

r: me alimento saludable.

s: estoy en forma.

2. Razonamiento en lenguaje natural:

Corro todas las mañanas o voy al gimnasio 4 días a la semana y me alimento saludable. Y

no voy al gimnasio 4 días a la semana y no me alimento saludable. Y si corro todas las

mañanas entonces estaré en forma.

 3. tabla de verdad manualmente.

p q r s ¬ q ¬r (q∧ r) pV(q∧r) ¬(q∧r) (pV(q∧r)) ∧¬(q∧r) (p→s) (pV(q∧r))

∧¬(q∧r)