Implikace: Porovnání verzí

'''Implikace''' (z [[latina|lat.]] ''implicatio'', propletení, zahrnutí) znamená vztah vyplývání nebo zahrnutí. Skutečnost nebo výpověď A implikuje nějaké B, pokud z A nutně vyplývá B, případně pokud je B v A už zahrnuto čili '''implikováno'''. Příklad: „Nebude-li pršet, nezmoknemnezmokneme.“

[[Logika|Logická]] implikace je [[logická operace]] se dvěma proměnnými ([[binární operace]]), jejíž hodnota je ''nepravda'', [[právě když]] hodnota první proměnné je ''pravda'' a druhá je ''nepravda''. Označuje se symbolem <math> \Rightarrow </math> nebo <math> \rightarrow </math>, který naznačuje, že implikace není komutativní, čili obě proměnné nelze zaměnit.

"Když„Když bude dnes pršet, půjdu do práce."“

Tato věta může být pravdivá, i když nepůjdu do práce -– stačí, aby nepršelo, a podle prvního řádku pravdivostní tabulky budu mít stejně pravdu. Věta nevypovídá nic o tom, co se stane, když nebude pršet -– v takovém případě (první a druhý řádek pravdivostní tabulky) můžu do práce nejít, nebo jít a nikdo mi nemůže tvrdit, že jsem lhal. Určitě existuje spousta lidí, kteří chodí do práce, i když neprší -– a nemusí kvůli tomu všichni být lháři.

"Jestli„Jestli to Miloš přeplave, jsem já čínský bůh dobré nálady."“

V tomto příkladě ten, kdo výrok vyslovil, obvykle ani na okamžik nepřemýšlí o tom, že by byl čínským bohem dobré nálady. Nesmyslností druhého výroku se snaží pouze zdůraznit, že podle něj nikdy nebude pravdivá ani první věta -– a podle prvního řádku pravdivostní tabulky tedy zůstane celá implikace pravdivá, ať už se Miloš při pokusu dokázat opak utopí, nebo radši rovnou zůstane na břehu. Malér nastává ve chvíli, kdy to Miloš opravdu přeplave -– pak nezbývá, než sám sebe označit za lháře (podle třetího řádku pravdivostní tabulky), nebo se rychle stát čínským bohem dobré nálady.