Učivo

Výroková logika

Složené výroky
Implikace
S touto spojkou to teď bude trochu náročnější, protože nemá konkrétní vyjádření v češtině jako konjunkce a disjunkce. Nejčastěji se používá slovní spojení jestliže - pak (můžeme použít i sousloví z toho plyne). Vše si vysvětlíme na příkladu.

Výrok A: V Praze prší.
Výrok B: Hladina Vltavy se v Praze zvedá.
Implikace A a B: Jestliže v Praze prší, pak hladina Vltavy se v Praze zvedá./V Praze prší, z toho plyne, že hladina Vltavy se v Praze zvedá.

Jestliže hladina Vltavy v Praze stoupá, pak v Praze prší. Vidíme, že při prohození výroků věta dostává úplně jiný význam a vznikl nám nesmysl.

Pravdivost implikace je pravdivá pravě tehdy, když jsou oba spojované výroky pravdivé nebo když je první výrok nepravdivý. Jinými slovy z pravdy nemůže vyjít nepravda viz příklad.

7 / 21

Přiřaď panáčka k pravdivé implikaci.