EJERCICIOS DE LÓGICA PROPOSICIONAL

 ┐↔├→

Para solucionar con reglas de la conjunción, condicional, negación e introducción de la disyunción

-1 r→w -1┐q→t
-2 w→t -2 q→s
-3 t→p -3 ┐t  r
-4 s  r -4 (s  r)→ p
├ (p  q)  s
├p
-1┐p→q
-2 q→t
-3 t→s -1 t→(p→q)
-4 w→ ┐s -2 (r  s) → w
-5 w -3 u→ ┐┐s
-4(u  w)→ t
├p -5 u
-1 w→p
-2 ┐q→┐w ├ (p→q)
-3 ( p  q)→s -1 ┐┐p  ┐┐t
-4 w -2 p→w
├ ( pq)s -3 s→(p↔q)
-1 p→q -4 [(w  t)  r]→ s
-2 w→┐q
-3 ┐w→t ├ p↔q
-4 ( q  t)→r -1 (p  q)→s
-5 p -2 s→w
-3 (r  t) → ┐w
├ (p→q)  (r  s) -4 r

-1 p→u ├ ┐( p  q)
-2 t→w -1 t  w
-3 ( u  w)→r -2 t→r
-4 ( r  w)→s -3 s→[(p  r) → q]
-5 p  t -4 u → ┐w
-5 ┐s→ ┐(┐u  r)
( r  s)  q -6 up
├q
-1 ( r  w)→t
-2 t→┐p
-3 q→p
-4 ┐p→r
-5 ┐q→w
-6 t→s
-7 P

├ s t
-1 q  w
-2 q→s
-3 w→ u
-4 (s  u)→p

├ (p  r)  t