Ce document vise à fournir les définitions en français de certaines notions du
chapitre 1 du livre de référence Discrete ... 1.1 Logique. Définition 1.1 Un énoncé
qui est soit vrai, soit faux est appelé une proposition. Un énoncé qui n'est pas
une proposition (comme un paradoxe, une phrase impérative ou inter- rogative)
sera ... 
