Otras Reglas Indirectas

Clase 18Leonel Morales Díazlitomd@ufm.eduleonel@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