Une proposition est une phrase déclarative qui est soit vraie soit fausse, mais jamais les deux à la fois. Exemple : « 2 est un nombre pair » est une proposition vraie. « x est pair » n’est pas une proposition car elle dépend de x.
» Glossaire – Logique mathématique et méthodes de raisonnement
