импликация


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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Синонимы:

Смотреть что такое "импликация" в других словарях:

  • Импликация — Импликация (лат. implicatio  связь)  бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… …   Википедия

  • ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… …   Философская энциклопедия

  • ИМПЛИКАЦИЯ — ИМПЛИКАЦИЯ, логическое высказывание типа «если Р, то Q», соединяющее два элементарных высказывания Р (антецедент) и Q (логическое следствие). В математической ЛОГИКЕ эти два высказывания не связываются. Существует материальная импликация,… …   Научно-технический энциклопедический словарь

  • Импликация —  Импликация  ♦ Implication    Отношение между двумя суждениями, при котором второе является необходимым следствием первого: если р, то q. Если первое суждение истинно, истинно и второе. Если второе ложно, ложно и первое. Напротив, если первое… …   Философский словарь Спонвиля

  • ИМПЛИКАЦИЯ — (от лат. implico тесно связываю) (материальная импликация) приблизительный логический эквивалент оборота если..., то... ; операция, формализующая логические свойства этого оборота …   Большой Энциклопедический словарь

  • ИМПЛИКАЦИЯ — [лат. implicatio сплетение, переплетение] лог. логическая операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей союзу «если... то...». Словарь иностранных слов. Комлев Н.Г., 2006. импликация …   Словарь иностранных слов русского языка

  • импликация — и, ж. implication f., нем. Implikation <лат. implicatio сплетение, переплетение. 1. В логике: операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей по смыслу союзу если .., то . Крысин… …   Исторический словарь галлицизмов русского языка

  • импликация — сущ., кол во синонимов: 1 • операция (457) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • импликация — вовлечение проблема смысл значение последствие — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы вовлечениепроблемасмыслзначениепоследствие EN… …   Справочник технического переводчика

  • ИМПЛИКАЦИЯ — в информатике эквивалент оборота «если..., то...», образующий сложное высказывание из двух высказываний, а также логическая операция, формализующая в программе логические свойства этого оборота …   Большая политехническая энциклопедия

  • Импликация —    логическая функция, следствие (если А, то В); в трактовке математической логики, материальная импликация , утверждение если А, то В считается ложной, только если А истинно, а В ложно, и при установлении истинности материальной импликации не… …   Мир Лема - словарь и путеводитель

Книги

Другие книги по запросу «импликация» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.