Импликация
(от лат. Implicatio - сплетение, от implico — тесно связываю) - логическая связка, соответствующая грамматической конструкции «если ..., то ...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании различают антецедент (основание) — высказывание, идущее после слова «если», и консеквент (следствие) - высказывание, идущее за словом «то». Импликативное высказывание пред-  . Ставляет в языке логики условное высказывание обычного языка. Последнее играет особую роль как в повседневных, так и в научных рассуждениях, основной его функцией является обоснование одного путем ссылки на нечто другое. В современной логике имеется большое число И., различающихся своими формальными свойствами.
Наиболее известны из них И. Материальная, строгая И. И релевантная (уместная) И. Материальная И. Обозначается знаком É. Это одна из основных связок логики классической. Определяется она через функции истинности. И. Ложна только в случае истинности антецедента и ложности консеквента и истинна во всех остальных случаях. Условное высказывание «Если А, то » предполагает некоторую реальную связь между тем, о чем говорится в A и В. Выражение А ÉВ такой связи не предполагает. Строгая И. Определяется через модальное понятие (логической) невозможности. «А строго имплицирует » означает «Невозможно, чтобы А было истинно, а В ложно». В релевантной логике И. Понимается как условный союз в его обычном смысле. В случае релевантной И.
Нельзя сказать, что истинное высказывание может быть обосновано путем ссылки на любое высказывание и что с помощью ложного высказывания можно обосновать какое угодно высказывание..
Дополнительный поиск Импликация
На нашем сайте Вы найдете значение "Импликация" в словаре Словарь логики, подробное описание, примеры использования, словосочетания с выражением Импликация, различные варианты толкований, скрытый смысл.
Первая буква "И". Общая длина 10 символа