Otras Reglas Indirectas
Clase 18Leonel Morales Dí[email protected]@ingenieriasimple.com01/Septiembre/2014
Ex Falso Quodlibet• De lo falso se sigue cualquier cosa
• Ejemplo
2 de 3
p1. … c. φ EFQ: p1
1. (P & ~P) Premisa
2. X Se asume 3. P &EL: 1 4. ~P &ER: 1 5. I: 3, 4
6. ~X ~I: 5
Doble negación• Introducción
• Eliminación
3 de 3
p1. φ … c. ~~φ DNI: p1
p1. ~~φ … c. φ DNE: p1
Top Related