Chapitre2
Completion requirements
Chapitre 2 sur la Logique Propositionnelle