Popište, co jsou to tzv. pravdivostní tabulky a jak jsou využívány při ověření, zda některá formule výrokové logiky je tautologií: Porovnání verzí

(Založení stránky)
 
m
Řádek 1: Řádek 1:
 +
'''Pravdivostní tabulky''' jsou nástroj pro zjišťování pravdivosti složených výroků. Pravdivostní ohodnocení výroku je buď 1 (pravda) nebo 0 (nepravda). Složený výrok je tautologií, jestliže v jeho pravdivostní tabulce jsou samé jedničky pro všechny kombinace hodnot výrokových formulí. Naopak je kontradikcí pokud obsahuje samé nuly. Pokud obsahuje někde jedničky a někde nuly jedná se o splnitelnou formuli. '''Ke každé spojce logiky je přiřazena tabulka vyjadřující, za kterých pravdivostních ohodnocení je složená formule pravdivá'''.
 +
 +
[[Soubor:Vlogikawikisofia0125.png|700px|bezrámu|střed]]
 
==Zdroje==
 
==Zdroje==
 
===Reference===
 
===Reference===

Verze z 13. 7. 2016, 11:00

Pravdivostní tabulky jsou nástroj pro zjišťování pravdivosti složených výroků. Pravdivostní ohodnocení výroku je buď 1 (pravda) nebo 0 (nepravda). Složený výrok je tautologií, jestliže v jeho pravdivostní tabulce jsou samé jedničky pro všechny kombinace hodnot výrokových formulí. Naopak je kontradikcí pokud obsahuje samé nuly. Pokud obsahuje někde jedničky a někde nuly jedná se o splnitelnou formuli. Ke každé spojce logiky je přiřazena tabulka vyjadřující, za kterých pravdivostních ohodnocení je složená formule pravdivá.

Vlogikawikisofia0125.png

Zdroje

Reference


Související články

Klíčová slova