Učivo

Výroková logika

Pravdivostní tabulky
Pravdivostní tabulky nám pomáhají určit pravdivost složených výroků a řešit různé slovní úlohy.
(Pro připomenutí: 1 - pravda, 0 - nepravda)

Konjunkce

V prvním sloupci je výrok A, ve druhém výrok B. Vždy musíme mít veškeré kombinace pravdivosti výroků A a B (10, 01, 11, 00). Třetí sloupec nám udává pravdivost konjunkce (stříška). Jak už jsme se naučili dříve, konjunkce je pravdivá, když jsou oba výroky pravdivé - 1 je tedy pouze v prvním řádku.
Nezáleží na pořadí 1 a 0. Ale obvykle se to zapisuje, tak jak to teď máme v tabulkách.

Disjunkce

U disjunkce je to to samé, jen v posledním sloupci máme pravdivost disjunkce (v). Disjunkce není pravdivá jen tehdy, když oba výroky nejsou pravdivé - 0 je tedy jen v posledním řádku.

11 / 21

Urči podle tabulky, zda se jedná o disjunkci nebo konjunkci.