Pravdivostní hodnota

Z Wikipedie, otevřené encyklopedie

V logice hodnota PRAVDA znamená, že výrok je pravdivý.

V klasické logice jsou možné pouze dvě pravdivostní hodnoty - PRAVDA a NEPRAVDA.

Existují i jiné typy logiky, kde toto pravidlo neplatí. Fuzzy logika a vícestavová logika používají více hodnot, než je pouze PRAVDA a NEPRAVDA. Výrok tak může být pravdivý, nebo nepravdivý pouze částečně, můžeme také prohlásit, že pravdivost nebo nepravdivost výroků je neznámá.

V algebře tvoří množina (pravda, neprava) a na ní definované operace Booleovu algebru.