Импликация - «әгәр… шул чакта…» мәгънәсен бирүче бинар логик бәйләнеш. Импликация шарт ⇒ {\displaystyle \Rightarrow } нәтиҗә рәвешендә языла.