pravdivostní funkce
pravdivostní funkce, log. funkce připisující jednotlivým výrokům hodnotu pravdivosti a nepravdivosti a umožňující definovat log. operace. Složené výroky v klas. log. 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. Klas. log. je dvouhodnotová a používá k ozn. pravdivosti l a nepravdivosti 0. V.t. pravdivostní tabulku.
