Ejercicios para pruebas formales de validez

(1) 1. q (3) 1. (q  w)  p

2. r  t 2. r
3. s  (q  p) 3. s  p
4. (q  w)  p 4. q  v
5. r  s /  (q  w) 5. (r  p)  s /  v  w
………………………………. ………………………………………..
………………………………. ………………………………………..
………………………………. ………………………………………..
………………………………. ………………………………………..
………………………………. ………………………………………..
………………………………. ………………………………………..

(2) 1. t  (q  r) (4) 1. q  s

2. s  (p  t) 2. (q  t)  (w  r)
3. p 3. v  r
4. t  q 4. w  u
5. s  (q  w) /  r  w 5. s  t /  u  v
……………………………………… ……………………………………………
……………………………………… …………………………………………..
……………………………………… …………………………………………..
……………………………………… …………………………………………..
……………………………………… ……………………………………………
……………………………………… ……………………………………………