Simplificación (Simp.)
Adjunción (Adj.)
Adición (Adi.)
Modus Pones (MP)
Modus Tollens (MT)
Silogismo disyuntivo (SD)
Silogismo Hipotético (SH)
Dilema Constructivo (DC)
Dilema Destructivo (DD)
Ley de Casos (LC)
