Učivo

Výroková logika

Pravdivostní tabulky
Složené výroky - slovní úlohy

Teď se podíváme, jak se pomocí výrokové logiky dají řešit slovní úlohy:

Příklad:
Některý z žáků A, B, C rozbil okno. Zjistilo se, že v té době nebyl u okna žák A nebo u něho nebyl žák B. Když B nebyl u okna, nebyl tam ani A. Žák C vyl u okna právě tehdy, když u něho nebyl žák A. Kdo je pachatelem rozbitého okna?

Označíme si: Výrok a - žák A byl u okna. Obdobně výroky b a c.

Určení výsledku:
Podívej se do posledního sloupce a hledej, kde vyšly 1. V řádku ve kterém vyšla 1 se vrať na začátek k a, b, c a negacím. Dívej se, u koho je 1 (byl u okna) a u koho je 0 (nebyl u okna). Pozor na negace, ty převracují pravdivostní hodnotu. Takto určíš, kdo u okna byl/nebyl.

PS: Nezapomeň, že pachatel je jen jeden!

21 / 21

Kdo je pachatelem robitého okna?