II. Demuestra la validez de las siguientes inferencias aplicando el método de derivación.

2.1 2.2
P1) q  ( p  r) P1) r  ~ q
P2) q  r P2) ( p  q )  q // p  s
P3) p  ~ r // r

2.3 2.4
P1) p  (q  s) P1) ~ (p  w)  ~ r
P2) s  t P2) ~ r  ~ s
P3) p  q P3) ~ q  s
P4) p // t P4) ~ q  ~ w // ~ p

106 Lógica
 2.5 2.6
P1) (r  p)  ~ q P1) p  (r  s)
P2) q  ~ (p  s) P2) p  q
P3) (r  t)  ~ p P3) ~ ( q  w)
P4) (~ t  ~ s)  w // ~ t  w P4) ~w  r // s

2.7 2.8
P1) q  (s  t) P1) ( t  s )  r
P2) r  (p  ~ s) P2) ~ ( p  ~ s )
P3) r  (~ p  r) // p  ~ q P3) r  ( q  p ) // r   q

LÓGICA 107
 2.9 2.10
P1) (q  p)  r P1) (s  ~ p)  r
P2) ~ r  (s  t) P2) ~ s  q
P3) ~ (t  ~ q) // p  t P3) ~ (~ q  p) // s  r

2.11 2.12
P1) ~ (t  u) P1) ~ (~ p .. q  r)
P2) (s  t)  r P2) ( s  ~ r)  p
P3) q  ~ u P3) t  (p  q) // t  u
P4) ~ r  p // r  (p  q)

108 Lógica