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.