Implikace (logika)
Implikace (známá také jako logický důsledek, implikace nebo Jestliže ... pak) je logická operace. Je to vztah mezi výroky, který platí, když jeden logicky "vyplývá" z jednoho nebo více jiných.
Důsledky mají dva argumenty. Vrací false pouze tehdy, pokud je první člen pravdivý a druhý člen nepravdivý.
To může být problematické, protože to znamená, že z nepravdivé propozice může vyplývat cokoli.
Příklady
Následující příklad ukazuje (platnou) implikaci
- Všichni lidé jsou smrtelní (umírají).
- Aristoteles je člověk
- Proto je Aristoteles smrtelný
Teď se podívejte na důsledky: Slibuji, že pokud budu zdravý, přijdu do třídy. Existují čtyři možnosti:
- Jsem zdravá a chodím do třídy. Svůj slib jsem dodržel.
- Jsem zdravá a nechodím do třídy. Svůj slib jsem nedodržel.
- Nejsem zdravá a chodím do třídy. Svůj slib jsem dodržel.
- Nejsem zdravá a nechodím do třídy. Svůj slib jsem dodržel.
V druhém případě byl slibovaný důsledek falešný a slib byl porušen.
