valeur de vérité

AUTRES DISCIPLINES
FONDEMENTS DES MATHEMATIQUES

En calcul propositionnel, une valeur de vérité est une valeur attribuée à chaque proposition logique :

– si une proposition est vraie, il lui est attribuée la valeur 1 (ou V)

– si elle est fausse, la valeur 0 (ou F).

1 et 0 sont les valeurs de vérité d’un système classique. Il n’en est pas de même dans les systèmes à variable floue ou en logique intuitionniste.