Correction des exercices: équivalences valid...
Tableaux de la séance du 27 mars 2013: équi...
Exercices à faire pour le 3 avril: étude de...
Correction des exercices: validité d'implica...
Tableaux de la séance du 3 avril: validité ...
Exercices à faire pour le 10 avril: logique ...
Logique aristotélicienne...