 Ejercicio 4: Problemas de aplicación

C. Expresión simbólica: [( p → q)∧(q → r) ∧( p∧ s)]→ r

Premisas:

P1: p →q

P2:q → r

P3: p ∧ s

Conclusión: r

p: Daniela estudia lenguaje

q: Daniela da clases de ingles

s: Daniela trabaja en la universidad

r: Daniela es maestra

Si Daniela estudia lenguaje, entonces Daniela da clases de inglés. Si Daniela da clases de inglés
entonces, Daniela no es maestra. Daniela estudia lenguaje y trabaja en la universidad. Por lo tanto,
Daniela no es maestra. ∧ ∧ ∧ ∧ ∧ ∧ ∧

p q r s ~r ( p→q) (q→~r) (p s) [(p→q) (q→~r) (p s)] [(p→q) (q→~r) (p s)]→~r

v v v v f v f v f v
v v v f f v f f f v
v v f v v v v v v v
v v f f v v v f f v
v f v v f f v v f v
v f v f f f v f f v
v f f v v f v v f v
v f f f v f v f f v
f v v v f v f f f v
f v v f f v f f f v
f v f v v v v f f v
f v f f v v v f f v
f f v v f v v f f v
f f v f f v v f f v
f f f v v v v f f v
f f f f v v v f f v
p q r s ((p→q)∧(q→~r)∧(p∧s))→~r

v v v v V

v v v f V

v v f v V

v v f f V

v f v v V

v f v f V

v f f v V

v f f f V

f v v v V

f v v f V

f v f v V

f v f f V

f f v v V

f f v f V

f f f v V

f f f f V