ИМПЛИКАЦИЯ

Большая советская энциклопедия (БЭС)

(от лат. implico — тесно связываю)
одна из логических операций (См. Логические операции); в естественном языке И. соответствует связка «если..., то».

Орфографический словарь Лопатина

имплик`ация, имплик`ация, -и

Философский словарь

(лат. implico — тесно связываю) — логическая операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей союзу “если... то”. В импликативном высказывании различают антецедент — высказывание, к-рому предпослано слово “если”, и консеквент — высказывание, следующее за словом “то”. В классической математической логике исходят из понятия материальной И., к-рая определяется посредством функции истинности: И. ложна лишь в случае истинности антецедента и ложности консеквента и истинна во всех остальных случаях.

Философский энциклопедический словарь

ИМПЛИКАЦИЯ (лат. – спутанность) логическое отношение, состоящее в том, что одна вещь «имплицирует» другую, т.е. включает ее в себя. Объект познания имплицирует др. объект познания, если второй с необходимостью вытекает из первого; напр., отношение имплицирует число, число имплицирует пространство, понятие отца имплицирует понятие ребенка и т. д. Относительно импликации и импликатора см. ЛОГИСТИКА.

Философский энциклопедический словарь 2

        (лат. implicatio — сплетение, от implico — тесно связываю), в символич. логике — связка, обычно интерпретируемая как оборот «если..., то». И. наз. также образованные с помощью такой связки сложные высказывания. В импликативном высказывании различают антецедент — высказывание, которому предпослано слово «если», и консеквент — высказывание, следующее за словом «то». Обозначается И. чаще всего стрелками либо знаком ; последний обычно используют для обозначения одной из осн. связок классич. логики — материальной И. Высказывание A В с такой И. истинно во всех случаях, кроме одного: когда А истинно, а В ложно (содержание А и В при этом не имеет значения). В этом коренное отличие A В от выражения «если А, то В», которое всегда предполагает некоторую реальную связь между тем, о чём говорится в A и В. Иногда И. рассматривают как формальный аналог логического следования. В случае материальной И. при этом оказываются верными утверждения: «из ложного высказывания следует любое высказывание» и «истинное высказывание следует из любого высказывания», называемые парадоксами материальной И.
        ИМЯ в логике, выражение естественного или искусственного, формализованного языка, обозначающее предмет (собственное, или единичное, И.) или класс, множество предметов (нарицательное, или общее, И.). Обозначаемый (называемый) И. предмет или класс, по терминологии традиц. логики, есть объём (экстенсионал) понятия, «носящего» это И. В совр. формальной логике, придерживаясь терминологии Г. Фреге — А. Чёрча, принятой в логич. семантике, этот предмет (класс) наз. денотатом данного И., или его значением, отличая эту объёмную характеристику И. от содержательной (интенсиональной), представляющей совокупность характеризующих данное И. признаков и называемой его смыслом (и н т е н с и о н а л о м; по традиц. логич. терминологии — содержанием данного понятия). Формализов. языки строятся обычно так, что денотат есть однозначная функция смысла (в естеств. языках это условие может и нарушаться), но не наоборот (из чего и следует необходимость различения этих двух «способов реализации» И.). Напр., И. «утренняя звезда» и И. «вечерняя звезда» имеют очевидным образом различный смысл (фиксирующий время нахождения обозначаемого этими И. светила на небосводе), но общий денотат — планета Венера.
        см. также Семантика.

Научнотехнический Энциклопедический Словарь

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

Если вы желаете блеснуть знаниями в беседе или привести аргумент в споре, то можете использовать ссылку:

будет выглядеть так: ИМПЛИКАЦИЯ

будет выглядеть так: Что такое ИМПЛИКАЦИЯ