Logika pravdivej hodnoty

Pravda-hodnota, v logike, pravda (T alebo 1) alebo falošnosť (F alebo 0) daného návrhu alebo vyhlásenia. Logické spojivá, ako je disjunkcia (symbolizovaná ∨, pre „alebo“) a negácia (symbolizovaná ∼), sa môžu považovať za pravdivé funkcie, pretože pravdivá hodnota kombinovanej ponuky je funkciou alebo množstvom závislým od, pravdivé hodnoty jeho súčastí.

Pravdivostná hodnota zloženého tvrdenia sa dá ľahko testovať pomocou tabuľky známej ako tabuľka pravdy. Každý riadok tabuľky predstavuje možnú kombináciu pravdivých hodnôt pre návrhy komponentov zlúčeniny a počet riadkov je určený počtom možných kombinácií. Napríklad, ak zlúčenina obsahuje iba dve komponentové ponuky, budú v tabuľke štyri možnosti, a teda štyri riadky. Logické vlastnosti bežných spojív môžu byť zobrazené v tabuľkách pravdy takto:

v ktorom · znamená „a“ a ⊃ znamená „ak.,, potom. " (Napríklad v tabuľke „alebo“ druhý riadok znie: „Ak je p pravdivé a q je nepravdivé, potom p ∨ q je pravdivé.“) Pravdivostné tabuľky oveľa väčšej komplexnosti, tie, ktoré majú množstvo pravdivých funkcií, môžu byť skonštruované pomocou počítača. Boli skonštruované abstraktné systémy logiky, ktoré využívajú tri pravdivé hodnoty (napr. Pravdivé, nepravdivé a neurčité) alebo dokonca veľa, ako vo fuzzy logike, v ktorých výroky majú hodnoty medzi 0 a 1.