L’objectif du prof avec cet exercice c’est de s’assurer que les étudiants en Prépa et Licence 1 sachent comment démontrer en utilisant des connecteurs logiques. Vous pouvez aussi utiliser ce qu’on appelle l’étape de vérité qui est plus simplisme. Si nous voulons montrer que p est équivaut à q, c’est-à-dire q et équivaut à p : c’est une évidence extrême.