Propriété d’une variable logique d’être vraie ou fausse.
Exemple
La valeur de vérité de la conjonction des propositions P et Q, soit P ∧ Q, est vraie lorsque P est vrai et Q est vrai.
La valeur de vérité de la conjonction des propositions P et Q, soit P ∧ Q, est vraie lorsque P est vrai et Q est vrai.