Имплика́ция, логическая операция, соответствующая образованию высказывания «если $A$, то $B$» из высказываний $A$ и $B$. В формализованных языках импликация чаще всего обозначается символами $\supset$, $\to$, $\implies$. Высказывание $A$ называется посылкой высказывания $A\supset B$, а высказывание $B$ – его заключением. Точный смысл высказывания $A\supset B$ различен при классическом, конструктивном и других подходах к построению семантики языка. В языках с классической семантикой употребление импликации согласовано с истинностной таблицей:

Так понимаемая импликация называется материальной импликацией.