Flashcards — Logique, raisonnement et Python

Un énoncé qui admet une et une seule valeur de vérité : vrai ou faux.

Exemples : « $17$ est premier » (vraie), « $\sqrt{2} \in \mathbb{Q}$ » (fausse).
« Je mens » n'est pas une proposition : elle ne peut être ni vraie ni fausse.