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.

