implikace
Implicace, často označovaná jako logická implikace, je základní pojem v logice a matematice. V nejjednodušším vyjádření vyjadřuje podmíněný vztah mezi dvěma výroky: pokud platí prvý výraz P, pak platí i druhý výraz Q.
Zápis P → Q čteme „P implikuje Q“. V klasické logice je tato forma pravdivá ve všech kombinacích
Implicace není totožná s tvrzením, že Q je bezpodmínečně důsledkem P (entailment). Implikace je spíše spojkou a
Příklady: „Pokud prší, ulice jsou mokré.“ či „Pokud x^2 = 1, pak x = −1 nebo x = 1.“
Pravidla odvozování zahrnují modální pravidlo ponence (modu ponens): z P a P → Q vyvodíme Q. Bicondicionál
Etymologie: termín pochází z latinského implicatio; v češtině se používá výraz implikace.