Статистика - Статей: 872577, Изданий: 946

Искать в "Математическая энциклопедия..."

ИМПЛИКАЦИЯ





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

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

В. Е. Плиско.



Еще в энциклопедиях


В интернет-магазине DirectMedia