Lógica Simbólica

1. Otras Reglas Indirectas
Clase 18
Leonel Morales Díaz
litomd@ufm.edu
leonel@ingenieriasimple.com
01/Septiembre/2014

2. 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

3. Doble negación
• Introducción
• Eliminación
3 de 3
p1. φ
…
c. ~~φ DNI: p1
p1. ~~φ
…
c. φ DNE: p1