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