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