Demostrar j

1. a(b v c)
2. (p q) v a
3. (t s) v j
4. (b v c)
5. (p q) (t s)
6. a 1,4 Tollendo Tollens
7. (p q) 2,6 Tollendo Ponens
8. (t s) 5,7 Ponendo Ponens
9. J 3,8 Tollendo Ponens

Demostrar (x y)

1. r
2. (a b) q
3. a c
4. q r
5. c (x y)
6. q 1,4 Tollendo Tollens
7. (a b) 2,6 Tollendo Tollens
8. (a b) 7 Doble Negacin
9. c 3,8 Simplificacin (8.) Ponendo Ponens
10.(x y) 5,9 Ponendo Ponens