Capítulo 1. Ejercicio 83: Demostraciones

Utilice el método de reducción al absurdo para demostrar las siguientes proposiciones:

a) Si (p → q) y p, entonces q.
b) Si (p ∨q) y ¬q, entonces p.

c) Si p se cumple, entonces ( p ∨ q) se cumple. 

Solución: