November 5, 2014MiscellaneousCorrection de l'exercice: formalisation et tables de vérités de propositions faisant intervenir conjonctions, implications, équivalences.