Hodnota pravdy

Hodnota Pravdou je hodnota přiřazená ke každé logické tvrzení.

Prezentace

Abychom věnovali pravdivostní hodnotu výroku, přiřadíme pravdivostní hodnoty proměnným, které obsahuje.

Hodnota návrhu sestávající ze dvou problémů P a Q a konektorů se vypočítá z hodnot pravdivostní přidělených P a Q . Pravdivostní hodnota přisuzovaná „  P a Q  “ bude tedy „pq“ kde „. Je násobení. V souladu s tím jsou P a Q pravdivé, právě když jsou P a Q pravdivé. Podobně „  not P  “ má pravdivostní hodnotu 0, pokud P má hodnotu 1, a 1, pokud P má hodnotu 0. V důsledku toho nemá žádná (ne P) stejnou pravdivostní hodnotu jako P. Pokud P, pak Qmá pravdivostní hodnotu „no (p.non q)“. Tato verze hodnoty pravdy se nazývá klasická logika .

Logika intuice

Výpočet se dvěma hodnotami pravdy, který byl právě představen, není jediný: některé systémy implementují více než dvě hodnoty pravdy , jiné, například intuitivní logika , nepřijímají „p + ne p = 1“. V tomto případě se pravidla výpočtu změní: ztratíme „non (nonp) = p“; „  P nebo ne P  “ již není vždy pravda. Bivalence , to znamená skutečnost, že má dvě hodnoty pravd, obecně již není zaměňována s výpočtem původně navrženým klasickou logikou a představeným výše.

Poznámky a odkazy

  1. Přesněji násobení v kruhu ℤ / 2ℤ, který má dva prvky 0 a 1 ..
  2. Toto je tedy funkce v kruhu ℤ / 2ℤ
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">