Deducción Natural

Introducción
Reglas básicas del sistema

Reglas Derivadas
Referencias
Deducción Natural
Cristian Alejandro Gutiérrez Ramı́rez
Universidad Nacional Autónoma de México

Facultad de Filosofı́a y Letras
cristian.mate@gmail.com
Cristian Gutiérrez Deducción Natural

Introducción
Reglas Derivadas
Referencias
Índice
1 Introducción
2 Reglas básicas del sistema
Reglas para la conjunción (&)
Reglas para el condicional (⊃)
Subpruebas o pruebas con cajas
Reglas para la disyunción (∨)
Reglas para constante falsedad (⊥)
Reglas para la negación (¬)
Reglas para la equivalencia material (≡)
Teoremas
3 Reglas Derivadas
Reglas de inferencia
Reglas de Equivalencia
4 Referencias

Introducción
Reglas Derivadas
Referencias
Introducción
El sistema formal de la lógica proposicional
• Como habı́amos adelantado, veremos un sistema formal

completo para la lógica proposicional.

Introducción
Reglas Derivadas
Referencias
Introducción

• En sesiones anteriores aprendimos el lenguaje formal de la lógica
proposicional y cómo traducir oraciones del lenguaje natural a
éste.

Introducción
Reglas Derivadas
Referencias
Introducción

éste.
• Ahora nos concentraremos en la teorı́a de la prueba de nuestro
sistema formal.

Introducción
Reglas Derivadas
Referencias
Introducción

éste.
• Ahora nos concentraremos en la teorı́a de la prueba de nuestro
sistema formal.
• Nuestra teorı́a de la prueba sólo tendrá reglas de inferencia.

Introducción
Reglas Derivadas
Referencias
Introducción
¿Para qué sirve la deducción natural?
• Las reglas de transformación permiten construir pruebas en un

sistema formal dado.

Introducción
Reglas Derivadas
Referencias
Introducción

• En nuestro caso particular el objetivo principal es servirnos de
este sistema para demostrar la validez de argumentos.

Introducción
Reglas Derivadas
Referencias
Introducción

• En nuestro caso particular el objetivo principal es servirnos de
este sistema para demostrar la validez de argumentos.
• Primero simbolizamos los argumentos y después aplicamos las
reglas para demostrar que de las fórmulas que funcionan como
premisas podemos llegar a la conclusión.

Introducción Subpruebas o pruebas con cajas
Reglas básicas del sistema Reglas para la disyunción (∨)
Reglas Derivadas Reglas para constante falsedad (⊥)
Referencias Reglas para la negación (¬)
Teoremas

Reglas de Introducción y de Eliminación
• En nuestro sistema tendremos una regla de eliminación y una de

introducción para cada conectiva lógica (incluido el sı́mbolo ⊥).

Teoremas

Reglas de Introducción y de Eliminación
• En nuestro sistema tendremos una regla de eliminación y una de

introducción para cada conectiva lógica (incluido el sı́mbolo ⊥).
• Con este sistema podemos dar pruebas de que los argumentos
válidos efectivamente lo son.

Teoremas

• Nuestro sistema sólo cuenta con reglas de inferencia.

Teoremas


• Las reglas de inferencia sólo nos permiten trabajar con fórmulas
completas, es decir, nuestras reglas no pueden aplicarse a
pedazos de fórmulas.

Teoremas


• Las reglas de inferencia sólo nos permiten trabajar con fórmulas
completas, es decir, nuestras reglas no pueden aplicarse a
pedazos de fórmulas.
• Para poder aplicar las reglas a fórmulas en nuestra prueba
debemos tener las fórmulas solas en una lı́nea.

Teoremas

Regla de introducción de la conjunción (I&)
α
β
α&β
Regla de eliminación de la conjunción (E&)
α&β α&β
α β

Teoremas

Ejemplos
1. P & Q
/∴ P

Teoremas

Ejemplos
1. P & Q
/∴ P
2. P E&(1)

Teoremas

Ejemplos
1. P & Q
/∴ P
2. P E&(1)
1. (P & Q) &R
/∴ Q

Teoremas

Ejemplos
1. P & Q
/∴ P
2. P E&(1)
1. (P & Q) &R
/∴ Q
2. P & Q E&(1)

Teoremas

Ejemplos
1. P & Q
/∴ P
2. P E&(1)
1. (P & Q) &R
/∴ Q
2. P & Q E&(1)
3. Q E&(2)

Teoremas

Ejemplos
1. P & Q 1. P
/∴ P 2. Q
2. P E&(1) /∴ P & Q
1. (P & Q) &R
/∴ Q
2. P & Q E&(1)
3. Q E&(2)

Teoremas

Ejemplos
1. P & Q 1. P
/∴ P 2. Q
2. P E&(1) /∴ P & Q
3. P & Q I&(1,2)
1. (P & Q) &R
/∴ Q
2. P & Q E&(1)
3. Q E&(2)

Teoremas

Ejemplos
1. P & Q 1. P
/∴ P 2. Q
2. P E&(1) /∴ P & Q
3. P & Q I&(1,2)
1. (P & Q) &R
/∴ Q 1. P ⊃ Q
2. P & Q E&(1) 2. R
3. Q E&(2) /∴ ((P ⊃ Q) & R)

Teoremas

Ejemplos
1. P & Q 1. P
/∴ P 2. Q
2. P E&(1) /∴ P & Q
3. P & Q I&(1,2)
1. (P & Q) &R
/∴ Q 1. P ⊃ Q
2. P & Q E&(1) 2. R
3. Q E&(2) /∴ ((P ⊃ Q) & R)
3. ((P ⊃ Q) & R) I&(1,2)

Teoremas

Ejemplos de que NO hacer
1. (P & Q) ⊃ R
/∴ P

Teoremas

1. (P & Q) ⊃ R
/∴ P
2. P E&(1)

Teoremas

1. (P & Q) ⊃ R
/∴ P
2. P E&(1)
1. (P ⊃ Q)
2. R
/∴ P & R

Teoremas

1. (P & Q) ⊃ R
/∴ P
2. P E&(1)
1. (P ⊃ Q)
2. R
/∴ P & R
3. P & R I&(1)

Teoremas

Regla de introducción del condicional (I⊃)
α hip.
...
β
α⊃β
Regla de eliminación del condicional (E⊃)
α⊃β
α
β
Teoremas

Ejemplos de aplicación de la E⊃
1. P ⊃ Q
2. P
/∴ Q

Teoremas

1. P ⊃ Q
2. P
/∴ Q
3. Q E⊃(1,2)

Teoremas

1. P ⊃ Q
2. P
/∴ Q
3. Q E⊃(1,2)
1. (P ∨ R) ⊃ Q
2. P ∨ R
/∴ Q

Teoremas

1. P ⊃ Q
2. P
/∴ Q
3. Q E⊃(1,2)
1. (P ∨ R) ⊃ Q
2. P ∨ R
/∴ Q
2. Q E⊃(1,2)

Teoremas

1. P ⊃ Q 1. P & Q
2. P 2. Q ⊃ R
/∴ Q /∴ R
3. Q E⊃(1,2)
1. (P ∨ R) ⊃ Q
2. P ∨ R
/∴ Q
2. Q E⊃(1,2)

Teoremas

1. P ⊃ Q 1. P & Q
2. P 2. Q ⊃ R
/∴ Q /∴ R
3. Q E⊃(1,2) 3. Q E&(1)
1. (P ∨ R) ⊃ Q
2. P ∨ R
/∴ Q
2. Q E⊃(1,2)

Teoremas

1. P ⊃ Q 1. P & Q
2. P 2. Q ⊃ R
/∴ Q /∴ R
3. Q E⊃(1,2) 3. Q E&(1)
4. R E⊃(2,3)
1. (P ∨ R) ⊃ Q
2. P ∨ R
/∴ Q
2. Q E⊃(1,2)

Teoremas

1. P ⊃ Q 1. P & Q
2. P 2. Q ⊃ R
/∴ Q /∴ R
3. Q E⊃(1,2) 3. Q E&(1)
4. R E⊃(2,3)
1. (P ∨ R) ⊃ Q 1. P & Q
2. P ∨ R 2. R
/∴ Q 3. (P & R) ⊃ S
2. Q E⊃(1,2) /∴ S

Teoremas

1. P ⊃ Q 1. P & Q
2. P 2. Q ⊃ R
/∴ Q /∴ R
3. Q E⊃(1,2) 3. Q E&(1)
4. R E⊃(2,3)
1. (P ∨ R) ⊃ Q 1. P & Q
2. P ∨ R 2. R
/∴ Q 3. (P & R) ⊃ S
2. Q E⊃(1,2) /∴ S
4. P E&(1)

Teoremas

1. P ⊃ Q 1. P & Q
2. P 2. Q ⊃ R
/∴ Q /∴ R
3. Q E⊃(1,2) 3. Q E&(1)
4. R E⊃(2,3)
1. (P ∨ R) ⊃ Q 1. P & Q
2. P ∨ R 2. R
/∴ Q 3. (P & R) ⊃ S
2. Q E⊃(1,2) /∴ S
4. P E&(1)
5. P & R I&(2,4)

Teoremas

1. P ⊃ Q 1. P & Q
2. P 2. Q ⊃ R
/∴ Q /∴ R
3. Q E⊃(1,2) 3. Q E&(1)
4. R E⊃(2,3)
1. (P ∨ R) ⊃ Q 1. P & Q
2. P ∨ R 2. R
/∴ Q 3. (P & R) ⊃ S
2. Q E⊃(1,2) /∴ S
4. P E&(1)
5. P & R I&(2,4)
6. S E⊃(3,5)

Teoremas

1. P ⊃ Q
2. Q
/∴ α

Teoremas

1. P ⊃ Q
2. Q
/∴ α
3. P E⊃(1,2)

Teoremas

1. P ⊃ Q
2. Q
/∴ α
3. P E⊃(1,2)
1. P ⊃ Q
/∴ α

Teoremas

1. P ⊃ Q
2. Q
/∴ α
3. P E⊃(1,2)
1. P ⊃ Q
/∴ α
2. Q E⊃(1)

Teoremas

1. P ⊃ Q 1. P ⊃ Q
2. Q /∴ α
/∴ α
3. P E⊃(1,2)
1. P ⊃ Q
/∴ α
2. Q E⊃(1)

Teoremas

1. P ⊃ Q 1. P ⊃ Q
2. Q /∴ α
/∴ α
2. P E⊃(1)
3. P E⊃(1,2)
1. P ⊃ Q
/∴ α
2. Q E⊃(1)

Teoremas

Ejemplo de aplicación de la I⊃
1. P ⊃ Q
2. Q ⊃ R
/∴ P ⊃ R

Teoremas

1. P ⊃ Q
2. Q ⊃ R
/∴ P ⊃ R

Teoremas

1. P ⊃ Q
2. Q ⊃ R
/∴ P ⊃ R
3. P hip.

Teoremas

1. P ⊃ Q
2. Q ⊃ R
/∴ P ⊃ R
3. P hip.
4. Q E⊃(1,3)

Teoremas

1. P ⊃ Q
2. Q ⊃ R
/∴ P ⊃ R
3. P hip.
4. Q E⊃(1,3)
5. R E⊃(2,4)

Teoremas

1. P ⊃ Q
2. Q ⊃ R
/∴ P ⊃ R
3. P hip.
4. Q E⊃(1,3)
5. R E⊃(2,4)
6. P ⊃ R I⊃(3-5)

Teoremas

1. P & Q
2. R
/∴ S ⊃ (P &R)

Teoremas

1. P & Q
2. R
/∴ S ⊃ (P &R)

Teoremas

1. P & Q
2. R
/∴ S ⊃ (P &R)
3. S hip.

Teoremas

1. P & Q
2. R
/∴ S ⊃ (P &R)
3. S hip.
4. P E&(1)

Teoremas

1. P & Q
2. R
/∴ S ⊃ (P &R)
3. S hip.
4. P E&(1)
5. P & R I&(2,4)

Teoremas

1. P & Q
2. R
/∴ S ⊃ (P &R)
3. S hip.
4. P E&(1)
5. P & R I&(2,4)
6. S ⊃ (P &R) I⊃(3-5)

Teoremas

Ejemplo de lo que NO se debe hacer al aplicar I⊃
1. α
/∴ β

Teoremas

1. α
/∴ β

Teoremas

1. α
/∴ β
2. P hip.

Teoremas

1. α
/∴ β
2. P hip.
3. Q hip.

Teoremas

1. α
/∴ β
2. P hip.
3. Q hip.
4. P ⊃ Q I⊃(2-3)

Teoremas

1. α
/∴ β
2. P hip.
3. Q hip.
4. P ⊃ Q I⊃(2-3)
El problema aquı́ es que introdujimos más de una hipótesis.

Teoremas

1. S ⊃ (S ⊃ P)
/∴ S ⊃ P

Teoremas

1. S ⊃ (S ⊃ P)
/∴ S ⊃ P

Teoremas

1. S ⊃ (S ⊃ P)
/∴ S ⊃ P
2. S hip.

Teoremas

1. S ⊃ (S ⊃ P)
/∴ S ⊃ P
2. S hip.
3. S ⊃ P E⊃(1,2).

Teoremas

1. S ⊃ (S ⊃ P)
/∴ S ⊃ P
2. S hip.
3. S ⊃ P E⊃(1,2).
El problema aquı́ es que no hemos cerrado la caja.

Teoremas

1. S ⊃ (S ⊃ P)
/∴ S ⊃ P
2. S hip.
3. S ⊃ P E⊃(1,2).
El problema aquı́ es que no hemos cerrado la caja.

Siempre después de usar una caja debe haber por lo menos una
fórmula.
Teoremas

1. S ⊃ (S ⊃ P)
2. P ⊃ Q
/∴ α

Teoremas

1. S ⊃ (S ⊃ P)
2. P ⊃ Q
/∴ α

Teoremas

1. S ⊃ (S ⊃ P)
2. P ⊃ Q
/∴ α
3. S hip.

Teoremas

1. S ⊃ (S ⊃ P)
2. P ⊃ Q
/∴ α
3. S hip.
4. S ⊃ P E⊃(1,3)

Teoremas

1. S ⊃ (S ⊃ P)
2. P ⊃ Q
/∴ α
3. S hip.
4. S ⊃ P E⊃(1,3)
5. P E⊃(3,4)

Teoremas

1. S ⊃ (S ⊃ P)
2. P ⊃ Q
/∴ α
3. S hip.
4. S ⊃ P E⊃(1,3)
5. P E⊃(3,4)
6. S ⊃ P I⊃(3-5)

Teoremas

1. S ⊃ (S ⊃ P)
2. P ⊃ Q
/∴ α
3. S hip.
4. S ⊃ P E⊃(1,3)
5. P E⊃(3,4)
6. S ⊃ P I⊃(3-5)
7. Q E⊃(2,5)

Teoremas

1. S ⊃ (S ⊃ P)
2. P ⊃ Q
/∴ α
3. S hip.
4. S ⊃ P E⊃(1,3)
5. P E⊃(3,4)
6. S ⊃ P I⊃(3-5)
7. Q E⊃(2,5)
El problema aquı́ es en el paso 7 se usó la fórmula 5 que

está dentro de una caja cerrada.
Teoremas
• Las reglas únicas reglas que usan cajas son I⊃, E∨, I¬ y E¬.

Teoremas
• Las cajas también son llamadas subpruebas, porque nos
permiten introducir nueva información (más información que la
que nos es proporcionada por las premisas).

Teoremas
• Las cajas también son llamadas subpruebas, porque nos
permiten introducir nueva información (más información que la
que nos es proporcionada por las premisas).
• Es como si tuviésemos un problema que no podemos resolver,
nos tomásemos un descanso para trabajar en otro lado y después
regresásemos con la respuesta.

Teoremas
• Como las fórmulas que obtuvimos dentro de la caja dependen de

la información extra que introdujimos, NO podemos usarla una
vez que hemos cerrado la caja. Toda la información queda
inaccesible para nosotros.

Teoremas
• Como las fórmulas que obtuvimos dentro de la caja dependen de

la información extra que introdujimos, NO podemos usarla una
vez que hemos cerrado la caja. Toda la información queda
inaccesible para nosotros.
• Una prueba no puede concluir si tenemos una o más cajas
abiertas, incluso si tenemos la conclusión, pues ésta depende de
las hipótesis que introdujimos.

Teoremas
• Las reglas que usan cajas nos permite introducir SÓLO UNA
hipótesis o supuesto.

Teoremas
• No podemos incluir hipótesis si no estamos usando una regla con
caja.

Teoremas
caja.
• La única fórmula que podemos concluir una vez que cerramos la
caja es aquella que la regla nos permite concluir.

Teoremas
caja.
• La única fórmula que podemos concluir una vez que cerramos la
caja es aquella que la regla nos permite concluir.
• Tenemos que respetar la forma de la regla.

Teoremas

Regla de introducción de la disyunción (I∨)
α α
α∨β β∨α
Regla de eliminación de la disyunción (E∨)
α∨β
α hip.
...
γ
β hip.
...
γ
γ
Teoremas

Ejemplos de aplicación de la I∨
1. P
/∴ P ∨ Q

Teoremas

1. P
/∴ P ∨ Q
2. P ∨ Q I∨(1)

Teoremas

1. P
/∴ P ∨ Q
2. P ∨ Q I∨(1)
1. P
/∴ (Q ⊃ R) ∨ P

Teoremas

1. P
/∴ P ∨ Q
2. P ∨ Q I∨(1)
1. P
/∴ (Q ⊃ R) ∨ P
2. (Q ⊃ R) ∨ P I∨(1)

Teoremas

Ejemplos de aplicación de la E∨
1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S

Teoremas

1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S

Teoremas

1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S
4. P hip.

Teoremas

1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S
4. P hip.
5. S E⊃(2,4)

Teoremas

1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S
4. P hip.
5. S E⊃(2,4)

Teoremas

1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S
4. P hip.
5. S E⊃(2,4)
6. Q hip.

Teoremas

1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S
4. P hip.
5. S E⊃(2,4)
6. Q hip.
7. S E⊃(3,6)

Teoremas

1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S
4. P hip.
5. S E⊃(2,4)
6. Q hip.
7. S E⊃(3,6)
8. S E∨(1,4-7)
Teoremas

Ejemplos de lo que NO se debe hacer al aplicar E∨
1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S

Teoremas

1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S

Teoremas

1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S
4. P hip.

Teoremas

1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S
4. P hip.
5. S E⊃(2,4)

Teoremas

1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S
4. P hip.
5. S E⊃(2,4)
6. S E∨(1,4-5)

Teoremas

1. P ∨ Q
2. P ⊃ S
3. Q ⊃ S
/∴ S
4. P hip.
5. S E⊃(2,4)
6. S E∨(1,4-5)
El error consiste en sólo verificar un disyunto.

Teoremas
Reglas de repetición
En algunas ocasiones (sobretodo cuando estamos trabajando con

cajas), podemos querer repetir una fórmula que este más arriba en
ese caso podemos aplicar la regla de repetición:
n. α
...
m. α rep.(n)

Teoremas
Reglas para la constante falsedad (⊥)

Regla de introducción de la constante falsedad (I⊥)
α
¬α
⊥
Regla de eliminación de la constante falsedad (E⊥)
⊥
α

Teoremas

Ejemplos de aplicación de la I⊥
1. P
2. ¬P
/∴ ⊥

Teoremas

1. P
2. ¬P
/∴ ⊥
3. ⊥ I⊥(1,2)

Teoremas

1. P
2. ¬P
/∴ ⊥
3. ⊥ I⊥(1,2)
1. P ⊃ Q
2. ¬(P ⊃ Q)
/∴ ⊥

Teoremas

1. P
2. ¬P
/∴ ⊥
3. ⊥ I⊥(1,2)
1. P ⊃ Q
2. ¬(P ⊃ Q)
/∴ ⊥
3. ⊥ I⊥(1,2)

Teoremas

Ejemplos de aplicación de la E⊥
1. ⊥
/∴ P

Teoremas

1. ⊥
/∴ P
2. P E⊥(1)

Teoremas

1. ⊥
/∴ P
2. P E⊥(1)
1. ⊥
/∴ P ⊃ Q

Teoremas

1. ⊥
/∴ P
2. P E⊥(1)
1. ⊥
/∴ P ⊃ Q
2. P ⊃ Q E⊥(1)

Teoremas

Regla de introducción de la negación (I¬)
α hip.
...
⊥
¬α
Regla de eliminación de la negación (E¬)
¬α hip.
...
⊥
α

Teoremas

Ejemplo de aplicación de la I¬
1. P
/∴ ¬¬P

Teoremas

1. P
/∴ ¬¬P

Teoremas

1. P
/∴ ¬¬P
2. ¬P hip.

Teoremas

1. P
/∴ ¬¬P
2. ¬P hip.
3. ⊥ I⊥(1,2)

Teoremas

1. P
/∴ ¬¬P
2. ¬P hip.
3. ⊥ I⊥(1,2)
4. ¬¬P I¬(2-3)

Teoremas

Ejemplo de aplicación de la E¬
1. ¬¬P
/∴ P

Teoremas

1. ¬¬P
/∴ P

Teoremas

1. ¬¬P
/∴ P
2. ¬P hip.

Teoremas

1. ¬¬P
/∴ P
2. ¬P hip.
3. ⊥ I⊥(1,2)

Teoremas

1. ¬¬P
/∴ P
2. ¬P hip.
3. ⊥ I⊥(1,2)
4. P E¬(2-3)

Teoremas

Ejemplos de lo que NO se debe hacer al aplicar I¬
1. P
/∴ α

Teoremas

1. P
/∴ α
2. ¬P I¬(1)

Teoremas

1. P
/∴ α
2. ¬P I¬(1)
1. P
/∴ α

Teoremas

1. P
/∴ α
2. ¬P I¬(1)
1. P
/∴ α

Teoremas

1. P
/∴ α
2. ¬P I¬(1)
1. P
/∴ α
2. ¬P hip.

Teoremas

1. P
/∴ α
2. ¬P I¬(1)
1. P
/∴ α
2. ¬P hip.
3. ⊥ I⊥(1,2)

Teoremas

1. P
/∴ α
2. ¬P I¬(1)
1. P
/∴ α
2. ¬P hip.
3. ⊥ I⊥(1,2)
4. ¬P I¬(2-3)

Teoremas

Ejemplos de lo que NO se debe hacer al aplicar E¬
1. ¬P
/∴ α

Teoremas

1. ¬P
/∴ α
2. P E¬(1)

Teoremas

1. ¬P
/∴ α
2. P E¬(1)
1. ¬P
/∴ α

Teoremas

1. ¬P
/∴ α
2. P E¬(1)
1. ¬P
/∴ α

Teoremas

1. ¬P
/∴ α
2. P E¬(1)
1. ¬P
/∴ α
2. P hip.

Teoremas

1. ¬P
/∴ α
2. P E¬(1)
1. ¬P
/∴ α
2. P hip.
3. ⊥ I⊥(1,2)

Teoremas

1. ¬P
/∴ α
2. P E¬(1)
1. ¬P
/∴ α
2. P hip.
3. ⊥ I⊥(1,2)
4. P E¬(2-3)

Teoremas

Otro error común
1. ¬P
/∴ α

Teoremas

Otro error común
1. ¬P
/∴ α

Teoremas

Otro error común
1. ¬P
/∴ α
2. P hip.

Teoremas

Otro error común
1. ¬P
/∴ α
2. P hip.
3. ⊥ I⊥(1,2)

Teoremas

Otro error común
1. ¬P
/∴ α
2. P hip.
3. ⊥ I⊥(1,2)
4. Q E⊥(3)

Teoremas

Otro error común
1. ¬P
/∴ α
2. P hip.
3. ⊥ I⊥(1,2)
4. Q E⊥(3)
Aquı́ el problema es que no podemos usar la contradicción porque

está dentro de una caja cerrada, además de que estamos violando
la forma de la regla.

Teoremas
Regla de introducción de la equivalencia material (I≡)
(α ⊃ β) & (β ⊃ α) (α & β) ∨ (¬α & ¬β)

α≡β α≡β
Regla de eliminación de la equivalencia material (E≡)
α≡β α≡β
(α ⊃ β) & (β ⊃ α) (α & β) ∨ (¬α & ¬β)

Teoremas

Ejemplos de aplicación de la I≡
1. P ⊃ Q
2. Q ⊃ P
/∴ P ≡ Q

Teoremas

1. P ⊃ Q
2. Q ⊃ P
/∴ P ≡ Q
3. (P ⊃ Q) & (Q ⊃ P) I&(1,2)

Teoremas

1. P ⊃ Q
2. Q ⊃ P
/∴ P ≡ Q
3. (P ⊃ Q) & (Q ⊃ P) I&(1,2)
4. P ≡ Q I≡(3)

Teoremas

1. P ⊃ Q
2. Q ⊃ P
/∴ P ≡ Q
3. (P ⊃ Q) & (Q ⊃ P) I&(1,2)
4. P ≡ Q I≡(3)
1. P & Q
/∴ P ≡ Q

Teoremas

1. P ⊃ Q
2. Q ⊃ P
/∴ P ≡ Q
3. (P ⊃ Q) & (Q ⊃ P) I&(1,2)
4. P ≡ Q I≡(3)
1. P & Q
/∴ P ≡ Q
2. (P & Q) ∨ (¬P & ¬Q) I∨(1)

Teoremas

1. P ⊃ Q
2. Q ⊃ P
/∴ P ≡ Q
3. (P ⊃ Q) & (Q ⊃ P) I&(1,2)
4. P ≡ Q I≡(3)
1. P & Q
/∴ P ≡ Q
2. (P & Q) ∨ (¬P & ¬Q) I∨(1)
3. P ≡ Q I≡(2)
Teoremas

Ejemplos de aplicación de la E≡
1. P ≡ Q
/∴ P ⊃ Q

Teoremas

1. P ≡ Q
/∴ P ⊃ Q
2. (P ⊃ Q) & (Q ⊃ P) E≡(1)

Teoremas

1. P ≡ Q
/∴ P ⊃ Q
2. (P ⊃ Q) & (Q ⊃ P) E≡(1)
3. P ⊃ Q E&(2)

Teoremas

1. P ≡ Q
/∴ P ⊃ Q
2. (P ⊃ Q) & (Q ⊃ P) E≡(1)
3. P ⊃ Q E&(2)
1. P ≡ Q
/∴ (P & Q) ∨ (¬P & ¬Q)

Teoremas

1. P ≡ Q
/∴ P ⊃ Q
2. (P ⊃ Q) & (Q ⊃ P) E≡(1)
3. P ⊃ Q E&(2)
1. P ≡ Q
/∴ (P & Q) ∨ (¬P & ¬Q)
2. (P & Q) ∨ (¬P & ¬Q) E≡(1)

Teoremas
Teoremas
¿Se pueden demostrar teoremas sin axiomas?
• La respuesta es SÍ (aunque sea sorprendente).

Teoremas
Teoremas

• En la demostración de un teorema sólo se pueden usar axiomas y
reglas de inferencia. Pero en nuestro caso sólo se pueden usar
reglas de inferencia, pues no tenemos axiomas.

Teoremas
Teoremas

• Esto se debe a que 4 de nuestras reglas nos permiten introducir
hipótesis y 3 de ellas no nos piden tener ninguna fórmula antes.

Teoremas
Teoremas

• Esto se debe a que 4 de nuestras reglas nos permiten introducir
hipótesis y 3 de ellas no nos piden tener ninguna fórmula antes.
• Ası́, para poder demostrar un teorema podemos comenzar con
las reglas I⊃, I¬ y E¬.

Teoremas
Teoremas
Ejemplo de demostración de un teorema
1. P hip.

Teoremas
Teoremas
1. P hip.

Teoremas
Teoremas
1. P hip.
2. Q hip.

Teoremas
Teoremas
1. P hip.
2. Q hip.
3. P rep.(1)

Teoremas
Teoremas
1. P hip.
2. Q hip.
3. P rep.(1)
4. Q ⊃ P I⊃(2-3)

Teoremas
Teoremas
1. P hip.
2. Q hip.
3. P rep.(1)
4. Q ⊃ P I⊃(2-3)
5. P ⊃ (Q ⊃ P) I⊃(1-4)

Teoremas
Teoremas
1. P hip.
2. Q hip.
3. P rep.(1)
4. Q ⊃ P I⊃(2-3)
5. P ⊃ (Q ⊃ P) I⊃(1-4)
Ası́, tenemos que P ⊃ (Q ⊃ P) es un teorema, pues no usamos

ninguna premisa para demostrarlo.

Teoremas
Teoremas
Demuestra que las siguientes fórmulas con teoremas del sistema
1. P ⊃ (¬P ⊃ Q)

Teoremas
Teoremas
1. P ⊃ (¬P ⊃ Q)
2. P ⊃ P

Teoremas
Teoremas
1. P ⊃ (¬P ⊃ Q)
2. P ⊃ P
3. (¬P ⊃ Q) ⊃ ((P ⊃ Q) ⊃ Q)

Teoremas
Teoremas
1. P ⊃ (¬P ⊃ Q)
2. P ⊃ P
3. (¬P ⊃ Q) ⊃ ((P ⊃ Q) ⊃ Q)
4. (P ⊃ (Q ⊃ R)) ⊃ ((P ⊃ Q) ⊃ (P ⊃ R))

Teoremas
Teoremas
1. P ⊃ (¬P ⊃ Q)
2. P ⊃ P
3. (¬P ⊃ Q) ⊃ ((P ⊃ Q) ⊃ Q)
4. (P ⊃ (Q ⊃ R)) ⊃ ((P ⊃ Q) ⊃ (P ⊃ R))
5. P ∨ ¬P

Teoremas
Teoremas
1. P ⊃ (¬P ⊃ Q)
2. P ⊃ P
3. (¬P ⊃ Q) ⊃ ((P ⊃ Q) ⊃ Q)
4. (P ⊃ (Q ⊃ R)) ⊃ ((P ⊃ Q) ⊃ (P ⊃ R))
5. P ∨ ¬P
6. ¬(P & ¬P)

Introducción
Reglas básicas del sistema Reglas de inferencia
Reglas Derivadas Reglas de Equivalencia
Referencias
Reglas derivadas
Nuestro sistema cuenta con 12 reglas, pero podrı́a tener más.

Introducción
Referencias
Reglas derivadas

Por ejemplo, nosotros podrı́amos tener reglas extras como:
MODUS TOLLENS
α⊃β
¬β
¬α

Introducción
Referencias
Reglas derivadas

MODUS TOLLENS
α⊃β
¬β
¬α
Se puede probar que estas reglas son buenas reglas, siempre a
partir de nuestras 12 reglas originales.

Introducción
Referencias
Reglas derivadas

MODUS TOLLENS
α⊃β
¬β
¬α
Se puede probar que estas reglas son buenas reglas, siempre a
partir de nuestras 12 reglas originales.
Si podemos probar que son buenas reglas, entonces podemos
usarlas y las llamáremos reglas derivadas.

Introducción
Referencias
Reglas derivadas
¿Cómo probar una regla derivada?
Supongamos que la regla derivada que queremos probar es

MODUS TOLLENS
α⊃β
¬β
¬α

Introducción
Referencias
Reglas derivadas

MODUS TOLLENS
α⊃β
¬β
¬α
Ahora, se ponen las condiciones para aplicar la regla como si
fuesen premisas de un argumento y el resultado de aplicar la regla
como la conclusión.

Introducción
Referencias
Reglas derivadas

MODUS TOLLENS
α⊃β
¬β
¬α
Ahora, se ponen las condiciones para aplicar la regla como si
fuesen premisas de un argumento y el resultado de aplicar la regla
como la conclusión.
Después de eso sólo tenemos que mostrar que el argumento es
válido.

Introducción
Referencias
Reglas derivadas
Demostración del Modus Tollens
1. α ⊃ β
2. ¬β
/ ∴ ¬α

Introducción
Referencias
Reglas derivadas
1. α ⊃ β
2. ¬β
/ ∴ ¬α
3. α hip.

Introducción
Referencias
Reglas derivadas
1. α ⊃ β
2. ¬β
/ ∴ ¬α
3. α hip.
4. β E⊃(1,3)

Introducción
Referencias
Reglas derivadas
1. α ⊃ β
2. ¬β
/ ∴ ¬α
3. α hip.
4. β E⊃(1,3)
5. ⊥ I⊥(2,4)

Introducción
Referencias
Reglas derivadas
1. α ⊃ β
2. ¬β
/ ∴ ¬α
3. α hip.
4. β E⊃(1,3)
5. ⊥ I⊥(2,4)
6. ¬α I¬(3-5)

Introducción
Referencias
Reglas derivadas
1. α ⊃ β
2. ¬β
/ ∴ ¬α
3. α hip.
4. β E⊃(1,3)
5. ⊥ I⊥(2,4)
6. ¬α I¬(3-5)
Una vez que hemos hecho la demostración podemos usarla en

nuestras pruebas.
Introducción
Referencias
MODUS TOLLENS (MT)

α⊃β
¬β
¬α

Introducción
Referencias
¿Cómo usar el Modus Tollens
1. P ⊃ Q
2. Q ⊃ R
3. ¬R
/ ∴ ¬P

Introducción
Referencias
1. P ⊃ Q
2. Q ⊃ R
3. ¬R
/ ∴ ¬P
4. ¬Q MT(2,3)

Introducción
Referencias
1. P ⊃ Q
2. Q ⊃ R
3. ¬R
/ ∴ ¬P
4. ¬Q MT(2,3)
5. ¬P MT(1,4)

Introducción
Referencias
1. P ⊃ Q
2. Q ⊃ R
3. ¬R
/ ∴ ¬P
4. ¬Q MT(2,3)
5. ¬P MT(1,4)
Una pregunta interesante es ¿por qué estamos justificados en usar

estas reglas derivadas?

Introducción
Referencias
¿Por qué funcionan las reglas derivadas?
• Existen varias formas de justificar el uso de reglas derivadas en

nuestro sistema. Una de ellas apela al significado de las
conectivas lógicas y la analizáremos en próximas sesiones.

Introducción
Referencias
• Existen varias formas de justificar el uso de reglas derivadas en

nuestro sistema. Una de ellas apela al significado de las
conectivas lógicas y la analizáremos en próximas sesiones.
• La justificación que podemos ver ahora (y que es muy intuitiva)
es que las reglas funcionan porque son la abreviación de una
serie de pasos en los cuales sólo se utilizan las 12 reglas, es
decir, es como si nos hubiésemos ahorrado unos pasos porque ya
tenemos una manera mecánica de hacerlos. Comparemos las
siguientes dos pruebas.

Introducción
Referencias
1. P ⊃ Q
2. ¬Q
/ ∴ ¬P
3. ¬P MT(1,2)

Introducción
Referencias
1. P ⊃ Q 1. P ⊃ Q
2. ¬Q 2. ¬Q
/ ∴ ¬P / ∴ ¬P
3. ¬P MT(1,2)
3. P hip.
4. Q E⊃(1,3)
5. ⊥ I⊥(2,4)
6. ¬P I¬(3-5)

Introducción
Referencias
1. P ⊃ Q 1. P ⊃ Q
2. ¬Q 2. ¬Q
/ ∴ ¬P / ∴ ¬P
3. ¬P MT(1,2)
3. P hip.
4. Q E⊃(1,3)
5. ⊥ I⊥(2,4)
6. ¬P I¬(3-5)
Como puede verse cada vez que aplicamos Modus Tollens también podrı́amos aplicar
los pasos 3 a 6 de la segunda prueba y obtener el mismo resultado. En este sentido,
se puede ver al Modus Tollens una abreviación de esos pasos.

Introducción
Referencias
SILOGISMO DISYUNTIVO (SD)

α∨β α∨β
¬β ¬α
α β

Introducción
Referencias
SILOGISMO HIPOTÉTICO (SH)

α⊃β
β⊃γ
α⊃γ

Introducción
Referencias
CONDICIONALIZACIÓN (Cond.)
β ¬α
α⊃β α⊃β

Introducción
Referencias
CONDICIONAL FALSO (CF)
¬(α ⊃ β) ¬(α ⊃ β)
α ¬β

Introducción
Referencias
DISYUNCIÓN FALSA (DF)
¬(α ∨ β) ¬(α ∨ β)
¬α ¬β

Introducción
Referencias
ABSORCIÓN (Abs.)
α⊃β
α ⊃ (α & β)

Introducción
Referencias
DILEMA CONSTRUCTIVO (DC)

α∨γ
α⊃β
γ⊃δ
β∨δ

Introducción
Referencias
DILEMA DESTRUCTIVO (DD)

¬β ∨ ¬δ
α⊃β
γ⊃δ
¬α ∨ ¬γ

Introducción
Referencias
ELIMINACIÓN DEL BICONDICIONAL 2 (E≡2)
α≡β α≡β
α ¬α
β ¬β
α≡β α≡β
β ¬β
α ¬α

Introducción
Referencias
Reglas de equivalencia
• Las reglas de equivalencia son una clase especial de reglas que

permiten trabajar con pedazos de fórmulas (subfórmulas) y
también con fórmulas completas.

Introducción
Referencias

• El principio subyacente a las reglas de equivalencia es que
permiten cambiar una fórmula (o una subfórmula) por una
fórmula que tiene las mismas condiciones de verdad (es
equivalente, dice lo mismo).

Introducción
Referencias

• El principio subyacente a las reglas de equivalencia es que
permiten cambiar una fórmula (o una subfórmula) por una
fórmula que tiene las mismas condiciones de verdad (es
equivalente, dice lo mismo).
• En nuestro sistema las reglas de equivalencia son reglas
derivadas.

Introducción
Referencias
Forma de las reglas de equivalencia
• Las reglas de equivalencia tienen la siguiente forma
α≡β

Introducción
Referencias
α≡β
• Estas reglas afirman que la fórmula α expresa lo mismo que la

fórmula β (expresan el mismo contenido, tienen las mismas
condiciones de verdad).

Introducción
Referencias
α≡β
• Estas reglas afirman que la fórmula α expresa lo mismo que la

fórmula β (expresan el mismo contenido, tienen las mismas
condiciones de verdad).
• Las reglas permiten sustituir la fórmula α (β) por la fórmula β
(α).

Introducción
Referencias
Ejemplo de regla de equivalencia
DOBLE NEGACIÓN (DN)
α ≡ ¬¬α

Introducción
Referencias
Ejemplo de regla de equivalencia
DOBLE NEGACIÓN (DN)
α ≡ ¬¬α
• La Doble Negación afirma que siempre podemos sustituir una

fórmula (o subfórmula) por la doble negación de la misma.

Introducción
Referencias
Ejemplo de aplicación de la Doble Negación
1. P ≡ ¬¬Q
/∴ ¬¬(¬¬P ≡ Q)

Introducción
Referencias
1. P ≡ ¬¬Q
/∴ ¬¬(¬¬P ≡ Q)
2. ¬¬(P ≡ ¬¬Q) DN(1)

Introducción
Referencias
1. P ≡ ¬¬Q
/∴ ¬¬(¬¬P ≡ Q)
2. ¬¬(P ≡ ¬¬Q) DN(1)
3. ¬¬(P ≡ Q) DN(2)

Introducción
Referencias
1. P ≡ ¬¬Q
/∴ ¬¬(¬¬P ≡ Q)
2. ¬¬(P ≡ ¬¬Q) DN(1)
3. ¬¬(P ≡ Q) DN(2)
4. ¬¬(¬¬P ≡ Q) DN(3)

Introducción
Referencias
1. P ≡ ¬¬Q
/∴ ¬¬(¬¬P ≡ Q)
2. ¬¬(P ≡ ¬¬Q) DN(1)
3. ¬¬(P ≡ Q) DN(2)
4. ¬¬(¬¬P ≡ Q) DN(3)
• Como puede verse por el ejemplo, las reglas de equivalencia se

pueden aplicar en ambos sentidos.

Introducción
Referencias
1. P ≡ ¬¬Q
/∴ ¬¬(¬¬P ≡ Q)
2. ¬¬(P ≡ ¬¬Q) DN(1)
3. ¬¬(P ≡ Q) DN(2)
4. ¬¬(¬¬P ≡ Q) DN(3)
• Como puede verse por el ejemplo, las reglas de equivalencia se

pueden aplicar en ambos sentidos.
• En el caso de la Doble Negación, se pueden agregar dos
negaciones o quitarlas.

Introducción
Referencias
¿Cómo justificar una regla de equivalencia como una regla derivada?
• El método para mostrar que una regla de equivalencia es una

buena regla es muy similar al método visto antes (pero con
algunas modificaciones).

Introducción
Referencias
• El método para mostrar que una regla de equivalencia es una

buena regla es muy similar al método visto antes (pero con
algunas modificaciones).
• Se debe demostrar que la forma de la regla es un teorema.

Introducción
Referencias
Para lograr justificar la regla se sigue el siguiente procedimiento.

Supongamos que la regla tiene la forma α ≡ β.

Introducción
Referencias

1. Usar I⊃ para mostrar que α ⊃ β.

Introducción
Referencias

2. Usar I⊃ para mostrar que β ⊃ α.

Introducción
Referencias

3. Usar I& para conjuntar α ⊃ β y β ⊃ α y obtener
(α ⊃ β) & (β ⊃ α).

Introducción
Referencias

3. Usar I& para conjuntar α ⊃ β y β ⊃ α y obtener
(α ⊃ β) & (β ⊃ α).
4. Usar I≡ para obtener α ≡ β.

Introducción
Referencias
Justificación de la Doble Negación
1. α hip.

Introducción
Referencias
1. α hip.
2. ¬α hip.

Introducción
Referencias
1. α hip.
2. ¬α hip.
3. ⊥ I⊥(1,2)

Introducción
Referencias
1. α hip.
2. ¬α hip.
3. ⊥ I⊥(1,2)
4. ¬¬α I¬(2-3)

Introducción
Referencias
1. α hip.
2. ¬α hip.
3. ⊥ I⊥(1,2)
4. ¬¬α I¬(2-3)
5. α ⊃ ¬¬α I⊃(1-4)

Introducción
Referencias
1. α hip. 6. ¬¬α hip.
2. ¬α hip.
3. ⊥ I⊥(1,2)
4. ¬¬α I¬(2-3)
5. α ⊃ ¬¬α I⊃(1-4)

Introducción
Referencias
1. α hip. 6. ¬¬α hip.
2. ¬α hip. 7. ¬α hip.
3. ⊥ I⊥(1,2)
4. ¬¬α I¬(2-3)
5. α ⊃ ¬¬α I⊃(1-4)

Introducción
Referencias
1. α hip. 6. ¬¬α hip.
2. ¬α hip. 7. ¬α hip.
3. ⊥ I⊥(1,2) 8. ⊥ I⊥(6,7)
4. ¬¬α I¬(2-3)
5. α ⊃ ¬¬α I⊃(1-4)

Introducción
Referencias
1. α hip. 6. ¬¬α hip.
2. ¬α hip. 7. ¬α hip.
3. ⊥ I⊥(1,2) 8. ⊥ I⊥(6,7)
4. ¬¬α I¬(2-3) 9. α E¬(7-8)
5. α ⊃ ¬¬α I⊃(1-4)

Introducción
Referencias
1. α hip. 6. ¬¬α hip.
2. ¬α hip. 7. ¬α hip.
3. ⊥ I⊥(1,2) 8. ⊥ I⊥(6,7)
4. ¬¬α I¬(2-3) 9. α E¬(7-8)

10. ¬¬α ⊃ α I⊃(6-9)
5. α ⊃ ¬¬α I⊃(1-4)

Introducción
Referencias
1. α hip. 6. ¬¬α hip.
2. ¬α hip. 7. ¬α hip.
3. ⊥ I⊥(1,2) 8. ⊥ I⊥(6,7)
4. ¬¬α I¬(2-3) 9. α E¬(7-8)

10. ¬¬α ⊃ α I⊃(6-9)
5. α ⊃ ¬¬α I⊃(1-4) 11. (α ⊃ ¬¬α) & (¬¬α ⊃ α) I&(5,10)

Introducción
Referencias
1. α hip. 6. ¬¬α hip.
2. ¬α hip. 7. ¬α hip.
3. ⊥ I⊥(1,2) 8. ⊥ I⊥(6,7)
4. ¬¬α I¬(2-3) 9. α E¬(7-8)

10. ¬¬α ⊃ α I⊃(6-9)
5. α ⊃ ¬¬α I⊃(1-4) 11. (α ⊃ ¬¬α) & (¬¬α ⊃ α) I&(5,10)
12. α ≡ ¬¬α I≡(11)

Introducción
Referencias
1. α hip. 6. ¬¬α hip.
2. ¬α hip. 7. ¬α hip.
3. ⊥ I⊥(1,2) 8. ⊥ I⊥(6,7)
4. ¬¬α I¬(2-3) 9. α E¬(7-8)

10. ¬¬α ⊃ α I⊃(6-9)
5. α ⊃ ¬¬α I⊃(1-4) 11. (α ⊃ ¬¬α) & (¬¬α ⊃ α) I&(5,10)
12. α ≡ ¬¬α I≡(11)
• Ahora estamos autorizados a usar la regla de Doble Negación.

Introducción
Referencias
CONMUTACIÓN (Conm.)
(α & β) ≡ (β & α)
(α ∨ β) ≡ (β ∨ α)
(α ≡ β) ≡ (β ≡ α)

Introducción
Referencias
TRANSPOSICIÓN (Trans.)
(α ⊃ β) ≡ (¬β ⊃ ¬α)

Introducción
Referencias
ASOCIACIÓN (Asoc.)
((α & β) & γ) ≡ (α & (β & γ))
((α ∨ β) ∨ γ) ≡ (α ∨ (β ∨ γ))
((α ≡ β) ≡ γ) ≡ (α ≡ (β ≡ γ))

Introducción
Referencias
DISTRIBUCIÓN (Dist.)
(α & (β ∨ γ)) ≡ ((α & β) ∨ (α & γ))
(α ∨ (β & γ)) ≡ ((α ∨ β) & (α ∨ γ))

Introducción
Referencias
TAUTOLOGÍA O IDEMPOTENCIA
(Taut.)
(α & α) ≡ α
(α ∨ α) ≡ α

Introducción
Referencias
LEY DE CLAVIUS (LC)

(¬α ⊃ α) ≡ α
(α ⊃ ¬α) ≡ ¬α

Introducción
Referencias
IMPORTACIÓN/EXPORTACIÓN
(IE)
(α ⊃ (β ⊃ γ)) ≡ ((α & β) ⊃ γ)

Introducción
Referencias
DEFINICIÓN DE LA IMPLICACIÓN
MATERIAL (DIM)
(α ⊃ β) ≡ (¬α ∨ β)
(α ⊃ β) ≡ ¬(α & ¬β)

Introducción
Referencias
DEFINICIÓN DE LA
EQUIVALENCIA MATERIAL (DEM)
(α ≡ β) ≡ ((α ⊃ β) & (β ⊃ α))
(α ≡ β) ≡ ((α & β) ∨ (¬α & ¬β))

Introducción
Referencias
LEYES de DE MORGAN (DeM)

(α & β) ≡ ¬(¬α ∨ ¬β) (α ∨ β) ≡ ¬(¬α & ¬β)
(α & ¬β) ≡ ¬(¬α ∨ β) (α ∨ ¬β) ≡ ¬(¬α & β)
(¬α & β) ≡ ¬(α ∨ ¬β) (¬α ∨ β) ≡ ¬(α & ¬β)
(¬α & ¬β) ≡ ¬(α ∨ β) (¬α ∨ ¬β) ≡ ¬(α & β)

Introducción
Referencias
Una forma más fácil de aplicar las Leyes de De Morgan
• Las fórmulas a las que se pueden aplicar las Leyes de De Morgan tienen la siguiente
forma:
( α β ))
1 2 3 4

Introducción
Referencias
forma:
( α β ))
1 2 3 4
• En los lugares marcados por los números 1,2 y 4 puede o no haber negaciones (¬).

Introducción
Referencias
forma:
( α β ))
1 2 3 4
• En el lugar marcado por el número 3 puede haber o una conjunción (&) o una
disyunción (∨).

Introducción
Referencias
forma:
( α β ))
1 2 3 4
disyunción (∨).
• El método de aplicación más sencillo de las leyes de De Morgan consiste en dualizar
las fórmulas.

Introducción
Referencias
forma:
( α β ))
1 2 3 4
disyunción (∨).
las fórmulas.
• En los lugares 1,2 y 4 se pone una negación si no la hay y se quita la negación si la
habı́a.

Introducción
Referencias
forma:
( α β ))
1 2 3 4
disyunción (∨).
las fórmulas.
• En los lugares 1,2 y 4 se pone una negación si no la hay y se quita la negación si la
habı́a.
• En el lugar 3 se pone una conjunción (&) si habı́a una disyunción (∨) y se pone una
disyunción si habı́a una conjunción.

Introducción
Referencias
Leyes de De Morgan: Ejemplo de dualización
• La fórmula que vamos a dualizar es:

¬ ( α & ¬ β ))
1 2 3 4

Introducción
Referencias

¬ ( α & ¬ β ))
1 2 3 4
• En los lugares marcados por los números 1 y 4 hay negaciones (¬), para dualizar la
fórmula hay que eliminarlas.

Introducción
Referencias

¬ ( α & ¬ β ))
1 2 3 4
• En el lugar 2 no hay negación (¬), ası́ que hay que ponerla.

Introducción
Referencias

¬ ( α & ¬ β ))
1 2 3 4
• En el lugar 3 hay una conjunción (&), ası́ que hay que cambiarla por una disyunción
(∨).

Introducción
Referencias

¬ ( α & ¬ β ))
1 2 3 4
(∨).
• La fórmula dual de la original es:
( ¬ α ∨ β ))
1 2 3 4

Introducción
Referencias

¬ ( α & ¬ β ))
1 2 3 4
(∨).
• La fórmula dual de la original es:
( ¬ α ∨ β ))
1 2 3 4
• Y esas fórmulas son equivalentes de acuerdo con las Leyes de De Morgan.

Introducción
Referencias
Equivalencias con & y ⊥ (Eq.&,⊥)

(α & ⊥) ≡ ⊥
(α & ¬⊥) ≡ α

Introducción
Referencias
Equivalencias con ∨ y ⊥ (Eq.∨,⊥)

(α ∨ ⊥) ≡ α
(α ∨ ¬⊥) ≡ ¬⊥

Introducción
Referencias
Equivalencias con ≡ y ⊥ (Eq.≡,⊥)

(α ≡ ⊥) ≡ ¬α
(α ≡ ¬⊥) ≡ α

Introducción
Referencias
Equivalencias con ⊃ y ⊥ (Eq.⊃,⊥)

(α ⊃ ⊥) ≡ ¬α
(α ⊃ ¬⊥) ≡ ¬⊥
(⊥ ⊃ α) ≡ ¬⊥
(¬⊥ ⊃ α) ≡ α
Introducción
Reglas Derivadas
Referencias
Referencias
- Copi, I. Cohen, C. (2007). Introducción a la lógica (700 p.).

México D.F.: Limusa.
- Falguera López, J.L. y Martı́nez Vidal, C. (1999). Lógica Clásica
de Primer Orden: Estrategias de Deducción, Fromalización y
Evaluación Semántica. (482 p.). Valladolid: Trotta.
- GAMUT, L.T.F.(2002). Introducción a la Lógica (305 p.).
Buenos Aires: Eu—deba.
- Manzano, M. y Huertas A. (2004). Lógica para Principiantes
(422 p.). Madrid: Alianza Editorial.

Deducción Natural

Hochgeladen von

Dokumentinformationen

Originalbeschreibung:

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Deducción Natural

Hochgeladen von

Copyright:

Verfügbare Formate

Introducción

Reglas básicas del sistema

Cristian Alejandro Gutiérrez Ramı́rez

Universidad Nacional Autónoma de México

Cristian Gutiérrez Deducción Natural

Cristian Gutiérrez Deducción Natural

• Como habı́amos adelantado, veremos un sistema formal

Cristian Gutiérrez Deducción Natural

• Como habı́amos adelantado, veremos un sistema formal

Cristian Gutiérrez Deducción Natural

• Como habı́amos adelantado, veremos un sistema formal

Cristian Gutiérrez Deducción Natural

• Como habı́amos adelantado, veremos un sistema formal

Cristian Gutiérrez Deducción Natural

• Las reglas de transformación permiten construir pruebas en un

Cristian Gutiérrez Deducción Natural

• Las reglas de transformación permiten construir pruebas en un

Cristian Gutiérrez Deducción Natural

• Las reglas de transformación permiten construir pruebas en un

Cristian Gutiérrez Deducción Natural

Reglas básicas del sistema

• En nuestro sistema tendremos una regla de eliminación y una de

Cristian Gutiérrez Deducción Natural

Reglas básicas del sistema

• En nuestro sistema tendremos una regla de eliminación y una de

Cristian Gutiérrez Deducción Natural

Reglas básicas del sistema

• Nuestro sistema sólo cuenta con reglas de inferencia.

Cristian Gutiérrez Deducción Natural

Reglas básicas del sistema

• Nuestro sistema sólo cuenta con reglas de inferencia.

Cristian Gutiérrez Deducción Natural

Reglas básicas del sistema

• Nuestro sistema sólo cuenta con reglas de inferencia.

Cristian Gutiérrez Deducción Natural

Reglas para la conjunción (&)

Regla de eliminación de la conjunción (E&)

Cristian Gutiérrez Deducción Natural

Reglas para la conjunción (&)

Cristian Gutiérrez Deducción Natural

Reglas para la conjunción (&)

Cristian Gutiérrez Deducción Natural

Reglas para la conjunción (&)

Cristian Gutiérrez Deducción Natural

Reglas para la conjunción (&)

Cristian Gutiérrez Deducción Natural

Reglas para la conjunción (&)

Cristian Gutiérrez Deducción Natural

Reglas para la conjunción (&)

Cristian Gutiérrez Deducción Natural

Reglas para la conjunción (&)

Cristian Gutiérrez Deducción Natural

Reglas para la conjunción (&)

Cristian Gutiérrez Deducción Natural

Reglas para la conjunción (&)

Cristian Gutiérrez Deducción Natural

Reglas para la conjunción (&)

Cristian Gutiérrez Deducción Natural

Reglas para la conjunción (&)

Cristian Gutiérrez Deducción Natural

Reglas para la conjunción (&)

Cristian Gutiérrez Deducción Natural