 |
On
nomme valeur de vérité la caractérisation de la vérité ou de
la fausseté d'une proposition. En logique formelle, les valeurs de vérité
sont généralement limitées à deux options : vrai (V) ou faux (F) :
• Vrai
(V). - Une proposition est considérée comme vraie si elle correspond
à la réalité ou à ce qui est le cas. Par exemple, la proposition "Le
ciel est bleu" est vraie si, effectivement, le ciel est bleu.
• Faux (F).
- Une proposition est considérée comme fausse si elle ne correspond pas
à la réalité. Par exemple, la proposition "La Terre est plate" est fausse,
car la Terre est en réalité approximativement sphérique.
La logique classique
repose sur une dichotomie entre le vrai et le faux. Cependant, dans certaines
logiques non classiques ou certaines approches philosophiques, il
existe des discussions sur d'autres nuances possibles, telles que les propositions
indéterminées, les paradoxes, etc. |
|