Učivo

Výroková logika

Pravdivostní tabulky
Pravivostní 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)

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.

Zasekli jste se? Řešení je zde

12 / 21

Urči podle tabulky, zda se jedná o implikaci nebo ekvivalenci.