Exemple

Soit l'énoncé « 4x + 1 = 9 ». Cette égalité, en soi, n'est ni vraie ni fausse. Si on définit la variable x dans le référentiel des nombres naturels, cette forme propositionnelle devient une proposition vraie lorsque x = 2 et est fausse dans tous les autres cas.