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