Reglas de inferencia

Nota: entre paréntesis se indican los nombres alternativos de las mismas reglas.

Modus ponens (Regla de
→ ,
⊢ 

separación, Modus ponendo
ponens, en latín “modo que
afirmando afirma”)

Silogismo disyuntivo
∨ , ~ ⊢

(Simplificación disyuntiva, Modus
∨ , ~
⊢ 
tollendo ponens, en latín “modo
que negando afirma”)

Modus tollens (Regla de
→ , ~ ⊢ ~

razonamiento indirecto, Modus
tollendo tollens, en latín “modo
que negando niega”)

Silogismo hipotético (Ley de
→ ,  →  ⊢
→ 

silogismo, Regla de la cadena)

Adición conjuntiva
,  ⊢
∧ 

Simplificación conjuntiva
∧ ⊢

∧ ⊢

Adición disyuntiva
⊢
∨

Introducción del implicador
↔⊢
→

(Teorema de la deducción,
↔⊢→

Eliminación del coimplicador)

Introducción del coimplicador
→ ,  →
⊢
↔ 

Carga de premisa
⊢→

Mutación de premisas
→  →  ⊢  → 
→ 

Demostración por casos
→ ,  →  ⊢ 
∨  → 

Separación de casos (Eliminación
→ ,  → ,
∨  ⊢ 
disyuntiva)  →
,  → , ~
∨ ~ ⊢ ~

Regla del dilema constructivo
→ ,  → ,
∨  ⊢  ∨

→ ,  → , ⊢ 
∨  →  ∨ 

→ ,  → , ⊢ 
∧  →  ∧ 

Regla del dilema destructivo
→ ,  → , ~ ∨ ~ ⊢ ~
∨ ~

Extensión de la condicional
→  ⊢ 
∨  →  ∨ 

→  ⊢ 
∧  →  ∧ 

→  ⊢  →  → 
→