Proposition

Une formule déclarative ou phrase qui possède une valeur de vérité déterminée (vraie ou fausse) sous une interprétation ou un modèle spécifié ; en logique, une proposition exprime une assertion évaluable propositionnellement plutôt qu'une question, un ordre ou une expression à valeur de vérité indéterminée.