équivalence - lois logiques - contraposé -disjonction des cas - absurde

compléter et continuer