pravdivostní funkce
Matematika
Logika, funkce připisující jednotlivým výrokům hodnotu pravdivosti a nepravdivosti a umožňující definovat logické operace. Složené výroky v klasické logice jsou pravdivostními funkcemi jednotlivých výroků. Vyjadřují se pomocí matic, které zároveň definují ze sémantického hlediska jednotlivé výrokotvorné funktory. Klasická logika je dvouhodnotová a používá k označení pravdivosti 1 a nepravdivosti 0.
Vytvořeno:
14. 3. 2000
Aktualizováno:
6. 9. 2006
Autor: -red-
Odkazující hesla: Gottlob Frege, pravdivostní funkce.