Usuario:John.alonso/ejercicio18
Ir a la navegación
Ir a la búsqueda
PRESENTADO POR:
JOHN ALONSO
1. DEMOSTRAR Q
1. T v ~S 2. S
3. Q → ~T
4. ~T PT 1,2
5. Q P.P 3,4