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