Učivo

Výroková logika

Pravdivostní tabulky
Složené výroky

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.

Implikace

Implikace je nepravdivá tehdy, když z pravdy vychází nepravda - 0 je ve druhém řádku.

Ekvivalence

Ekvivalence je pravdivá, pokud mají oba výroky stejnou pravdivostní hodnotu.

Negace

Jak už víme, negace je vlastně otočení hodnoty. Z pravdy se stane nepravda, takže i v tabulce se z 0 stanou 1 a naopak.

15 / 21

Doplň do tabulky sloupec disjunkce (vyber z odpovědí správnou posloupnost 0 a 1).