Ponendo Ponens

El mismo antecedente

Tollendos Tollens

Negación de el consecuente
Tollendo Ponens

Negación de alguno de los dos en una disyunción.

Ley de adjunción y conjunción

Unir dos premisas por conjunción

Ley de simplificación

Separar cualquiera de las dos premisas unidas por una conjunción

Silogismo Hipotético

Dos condicionales, el antecedente de una proposición es el consecuente de la otra.

Ley de morgan

Dilema constructivo

3 premisas, dos condicionales y una disyunción.

Los componentes de la disyunción don los mismos antecedentes de la condición.

Ley de simplificación disyuntiva

Cuando una disyunción de dos componentes iguales resulta uno solo de ellos.

Ley de la adición

Adicionarle lo que necesito con una disyunción.

Ley del bicondicional

Se puede expresar como una condicional.