Імплікація (від латів.(латинський) implico — тісно зв'язую), одна з логічних операцій ; у природній мові І. відповідає в'язка «якщо..., то».