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