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…
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.
Galerie obrázků
1 Obrázek
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.
Související stránky
Související články
Autor
AlegsaOnline.com Implikace (logika) Leandro Alegsa
URL: https://cs.alegsaonline.com/art/46901