Valoarea adevărului

O valoare de adevăr este o valoare atribuită fiecărei propoziții logice.

Prezentare

Pentru a da o valoare de adevăr unei propoziții, atribuim valori de adevăr variabilelor pe care le conține.

Valoarea unei propuneri care constă din două propoziții P și Q și un conector este calculată din valorile de adevăr atribuite P și Q . Astfel valoarea de adevăr atribuită „  P și Q  ” va fi „pq” unde „. Este multiplicarea. În consecință, P și Q sunt adevărate dacă și numai dacă P și Q sunt fiecare adevărate. La fel, „  nu P  ” are valoarea de adevăr 0 dacă P are valoarea 1 și 1 dacă P are valoarea 0. În consecință, niciunul (nu P) are aceeași valoare de adevăr ca P. Dacă P, atunci Q are adevărul valoarea „nu (p.non q)”. Această versiune a valorii adevărului se numește logică clasică .

Logica intuiționistă

Calculul cu două valori de adevăr care tocmai a fost prezentat nu este singurul: unele sisteme implementează mai mult de două valori de adevăr , altele, cum ar fi logica intuiționistă , nu acceptă „p + nu p = 1”. În acest caz, regulile de calcul se schimbă: pierdem „non (nonp) = p”; „  P sau nu P  ” nu mai este întotdeauna adevărat. În general, bivalența , adică faptul de a avea două valori ale adevărurilor, nu mai este confundată cu calculul propus inițial de logica clasică și prezentat mai sus.

Note și referințe

  1. Mai exact înmulțirea inelului ℤ / 2ℤ care are două elemente 0 și 1 ..
  2. Aceasta este deci funcția din inelul ℤ / 2ℤ
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">