Inférences invalides : Affirmation du conséquent et négation de l’antécédent

Affirmation du conséquent

Si p alors q

q

Alors p

Négation de l’antécédent

Si p alors q

Non-p

Alors non-q