reglas básicas de deducción natural

Introducción de la Conjunción [I∧] 

 Eliminación de la Conjunción [E∧]

Equivalencias entre conjunciones
y disyunciones 

Introducción de la Disyunción [Iv] 

Eliminación de la Disyunción [Ev]
Modus Tollendo Ponens  [MTP]

Simplificación Disyuntiva

Introducción de la Implicación
(Operación Hipotético-deductiva)

Eliminación de la Implicación
(Razonamiento condicional)

Equivalencia de la Implicación
(Versión Disyuntiva)

Introducción de la Implicación

(Transicional del Condicional)

Eliminación de la Implicación

Equivalencia de la Implicación
(Versión Conjuntiva)

Equivalencia de la Doble Implicación
(Versión de implicaciones)

Equivalencia de la Doble Implicación
(Versión por oposición con el Dilema)

Introducción o Eliminación
de la Disyunción Exclusiva

(Versión por oposición con el Bicondicional)

Introducción o Eliminación
de la Disyunción Exclusiva

(Versión por diferenciación
con respecto a la Disyunción Inclusiva)

Resolución del Dilema 

Introducción o Eliminación de dos negaciones. 

Eliminación de la Implicación