EJERCICIOS DE DEDUCCIONES LÓGICAS

Ahora vamos a resolver ejercicios que requieran manejar la simplificación, el producto, el modus ponens, el modus tollens, la adición y el silogismo disyuntivo. ¡Manos a la obra!

1º)

-1 (p V q) --> r             |- r ^ u

-2 ¬ p --> s

-3 ¬ s V t

-4 ¬ t ^ u

2º) 

-1 p V (q--> r)                 |- rVz

-2 q ^ s

-3 (s V t) --> ¬ p

3º)

-1 p ^  t                    |- (q V s) ^ (t ^ u)

-2 p--> r

-3 ¬ q--> ¬r

-4 ¬ t V u 

Si quieres conocer las soluciones, PULSA AQUÍ