- логическая операция, соответствующая образованию высказывания "если А, то В" из высказываний Аи В. В формализованных языках И. чаще всего обозначается символами 
Высказывание Аназ. посылкой высказывания 
а высказывание В- его заключением. Точный смысл высказывания 
различен при классическом, конструктивном и других подходах к построению семантики языка. В языках с классич. семантикой употребление 'И. согласовано с истинностной таблицей:
Так понимаемая И. наз. материальной импликацией.
В. Е. Плиско.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.