modus ponendo ponens
ley de morgan
simpificación
silogismo hipotético
simplificación disyuntivo
tollendo ponens
ley de la adición
siolgismo disyuntivo
adjunción
modus tollendo tollens
ley conmutativa