Negación de antecedente
Modus ponens
Afirmación de consecuente
Modus Tolens
Si tengo dinero, entonces compro una bicicleta. Tengo dinero. Compro una bicicleta
Si llueve, cojo el paraguas. Cojo el paraguas, entonces llueve.
Si hoy es miércoles, mañana es jueves. Mañana no es jueves. Hoy no es miércoles.
Si está nevando, entonces hace frío. No está nevando. Por lo tanto, no hace frío.