suivant : Exercice 5 - négation remonter : 2.1.1 Calcul propositionnel précédent : Exercice 3 - équivalence

Exercice 4 - propriétés

Démontrer que $a \Rightarrow b \iff \neg b \Rightarrow \neg a$ en utilisant la définition de l'implication avec la disjonction.