ako su p i q iskazi, implikacija je iskaz „p sledi q“ koji se označava sa p⇒q. Netačan je jedino ako je p tačan, a q netačan iskaz. Iskaz p⇒q se još čita kao: „p povlači q“, „ako p onda važi q“, „p implicira q“, „p je neophodan uslov za q“