Efectuar las siguientes derivaciones por medio de la prueba directa

TAREA N ° 4

Efectuar las siguientes derivaciones por medio de la prueba directa : ( 2 puntos cada una de las preguntas bien resueltas y comprobados por medio de la prueba formal de validez).

PREGUNTA N° 1

P1 p → q

P2 ( p ᴧ q ) → ( r ˅ s )

P3 ( p → ~t ) → u

P4 ( ~ r → s ) → ~ t //.: ~u → t

PREGUNTA N° 2

P1 ~ ( q ᴧ r ) → s

P2 ~ p //.: p → [ ( ~ q → s ) ᴧ ~ ( ~ r ᴧ ~ s ) ]

PREGUNAT N° 3

P1 p → q

P2 r → s

P3 [ ( p → q ) ᴧ ( r → s ) ] → [ ( p ᴧ r ) ˅ ( ~p ᴧ ~ r ) ]

P4 ( p ᴧ r ) → s

P5 ( ~ p ᴧ ~ r ) → u //.: ~ s → u

FECHA DE ENTREGA : Jueves 28 de mayo de 2015

En la misma modalidad que las tareas anteriores.

...