avec cohérence et rigueur, de raisonner correctement. Les mathématiques .... 1.1
.1 Syntaxe. Une formule de la logique propositionnelle est construite à l'aide de
connecteurs logiques, de vari- ... d'un livre à l'autre et d'un outil à l'autre. Il vous ... 
