Simplificación
Adjunción
Adición
Silogismo hipotético
Modus ponens
Modus tollens
Silogismo disyuntivo
Dilema constructivo
Dilema destructivo
Ley de casos