Éléments de logique

Une proposition est un énoncé qui est soit vrai, soit faux.