Už v předchozí kapitole jsme si ukázali použití tabulky pravdivostních hodnot. U složitějších výroků ji budeme používat jako účinný nástroj ke zjištění pravdivostního ohodnocení daného výroku. Postup je poměrně jednoduchý:
- Výrok rozdělíme na co nejjednodušší dílčí výroky spojené logickými spojkami.
- Jednoduché výroky ohodnotíme.
- Pro jednotlivá ohodnocení jednoduchých výroků budeme analyzovat pravdivostní hodnoty o něco složitějších výroků podle spojek, jimiž jsou jednoduché výroky spojeny.
- Ohodnocení podle spojek opakujeme pro stále složitější dílčí výroky, až nakonec získáme ohodnocení celého složitého výroku.
Uvedený postup nemusí na první pohled vypadat srozumitelně, proto si vše ukážeme na příkladu, konkrétně na následujícím výroku:
(\lnot{a} \land b) \Rightarrow c
Provedeme bod 1 z postupu, tj. postupně rozdělíme výrok na nejjednodušší dílčí výroky. Náš výrok je vlastně implikace, jejíž „levá strana“ je tvořena opět složeným výrokem. Když tedy výrok podle této implikace rozdělíme, získáme dva jednodušší výroky:
\lnot{a} \land b
c
Zatímco druhý výrok je jednoduchý a dále jej dělit nemůžeme, první výrok ještě rozdělit můžeme – je to totiž konjunkce dvou jednoduchých výroků (přesněji jednoduchého výroku a negace jiného jednoduchého výroku). Rozdělením této konjunkce získáme další dva výroky:
\lnot{a}
b
Tyto výroky již dále dělit nemůžeme, negace u výroku a nám nemusí nahánět strach, s tou si již snadno poradíme. Máme tedy tři jednoduché výroky: a, b, c. Tyto jednoduché výroky zaneseme do tabulky pravdivostních hodnot a do jejích řádků zapíšeme všechny kombinace pravdivostních hodnot jednotlivých výroků:
Nyní do tabulky přidáme negaci výroku \lnot{a}
Přidáme konjunkci výroků \lnot{a} a b. V naší tabulce již máme dost údajů pro její vyhodnocení (máme zde ohodnocení obou spojovaných výroků):
Nyní můžeme do tabulky přidat celý náš zkoumaný výrok. Jeho ohodnocení bychom již měli zvládnout, protože z tabulky můžeme vyčíst, jaká jsou ohodnocení obou stran implikace, která náš výrok tvoří:
A máme ohodnocení našeho výroku pro jednotlivé pravdivostní hodnoty výroků a, b, c. Vidíme, že náš výrok je nepravdivý jen v jediném případě, a to když výrok b bude pravdivý a současně výroky a, c budou nepravdivé.
Pozor!!! Pokud chceme využívat tabulku pravdivostního ohodnocení pro zjišťování pravdivostní hodnoty výroku v závislosti na ohodnocení obsažených jednoduchých výroků, je nutné uvést v tabulce všechny možné kombinace pravdivostního ohodnocení jednoduchých výroků. Bude-li výrok obsahovat pouze dva jednoduché výroky a, b, připadají v úvahu čtyři různé možnosti ohodnocení a tabulka může vypadat například následovně:
V případě tří různých výroků je to již osm různých možností (opravdu žádné dva řádky nejsou stejné):
Vidíme, že počet řádků se zdvojnásobil. To platí i pro další navyšování počtu jednoduchých výroků, pro čtyři bychom tedy potřebovali 16 řádků, pro pět 32 řádků, atd. Tato metoda se tedy hodí především pro vyhodnocování složitých výroků, které obsahují malé množství jednoduchých výroků, je-li jejich počet vyšší, je vyhodnocování velmi pracné.