18 otras indirectas

3
Otras Reglas Indirectas Clase 18 Leonel Morales Díaz [email protected] [email protected] 01/Septiembre/2014

description

Lógica Simbólica

Transcript of 18 otras indirectas

Page 1: 18   otras indirectas

Otras Reglas Indirectas

Clase 18Leonel Morales Dí[email protected]@ingenieriasimple.com01/Septiembre/2014

Page 2: 18   otras indirectas

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

Page 3: 18   otras indirectas

Doble negación• Introducción

• Eliminación

3 de 3

p1. φ … c. ~~φ DNI: p1

p1. ~~φ … c. φ DNE: p1