Ejercicios de Reducción al absurdo mediante tablas de verdad reducidas:

1. ¬((p ∨ q) ∧ (¬p ∨ ¬q) ∧ (p ∨ ¬q)) 2. (p → ¬q) → (q → ¬p) 3. (p → (q ∧ r)) → (p → (q ∨ s)) 4. (¬p → ¬r) → (q → p) 5. ((p → ¬q) → (¬r → s)) ∨ ((¬p → q) → (r → ¬s)) 6. ((¬p → q) → r) → ((p → q) → (¬r → s)) 7. (p → ¬s) → (s → ¬p) 8. ((p → ¬p) → p) → (p → (¬p → p)) 9. ((r → s) → ¬q) → p 10. (p → (¬r → s)) → (s → (¬r → p)) 11. ((r → s) → p) → (q → (¬s → r)) 12. (p ∨ q) → (((p → r) ∧ (q → r)) → ((p ∨ q) → r)) 13. (p → (q → p)) → ((p → q) → (p → p)) 14. (s → (r ∨ p)) → (((r ∨ p) → q) → (s → q)) 15. ((p → ¬q) → (r ∧ s)) → ((¬r ∨ ¬s) → (p ∧ q)) 16. ((p ∧ q ∧ r) ∨ (p → ¬s)) → ((¬s ∧ r) → (¬q ∨ p)) 17. ((p → q) → r) → ((r → s) → ((p → q) → s)) 18. (p → q) → ((p ∧ r) → (q ∧ r)) 19. (¬p → ¬q) → ((¬p → q) → p) 20. ((¬p ∨ ¬q) ∧ (r → p) ∧ (s → q)) → (¬r ∨ ¬s) 21. ( p → q ) ∧ q → q22. ( p ∧ q ) ∧ ( p v r) → q23. ( p → q ) ∧ ( q v r ) ∧ ¬ q → ( r ∧ ¬ p )24. ( p → q ) ∧ ¬ ( ¬ q v ¬ r ) → q25. [ ( p ∧ q ) v r] → [ ¬ r → ( p ∧ q) ]26. [ ( ¬ p → q ) ∧ ( q → r ) ] → ( ¬ p → r )27. ( p → r ) ∧ ( q → s ) → ( p ∧ q → r ∧ s )28. [ p → ( q v r ) ] ∧ ( q ∧ r ) → ( p → r )29. [ p → ( ¬ r → p) ] ∧ [ ¬ r v s → ¬ t] ∧ ( t ∧ ¬ r) → ¬ p30. [ p → ( q ∧ r ) ] ∧ ( r → s ∧ t ) ∧ ( ¬ s ∧ ¬ t ) → ¬ p31. { [ ( p ∧ q ∧ r ) → ( r ∧ s ) ] ∧ ( r ∧ s ) } → ( p ∧ q ∧ r )