(лат. implico – связывать)
Логическая операция, приблизительно соответствующая сложному обороту, составленному из двух высказываний, соединенных между собой составным союзом "если, то…"
(англ. implication — вовлечение, замешанность) — причастность.
Импликация
♦ Implication
Отношение между двумя суждениями, при котором второе является необходимым следствием первого: если р, то q. Если первое суждение истинно, истинно и второе. Если второе ложно, ложно и первое. Напротив, если первое суждение ложно, второе может быть как ложным, так и истинным. С точки зрения формальной логики импликация как целое может быть ложной тогда и только тогда, когда она связывает истинный антецедент (предшествующий член. – Прим. пер.) с ложным следствием. Например, суждение «Если Париж – столица Франции, то у кур есть зубы» – ложно. Напротив, импликация, начинающаяся с ложного суждения, обязательно верна. Так, суждение «Если у кур есть зубы, то я – французский король» истинно всегда, независимо от того, кому оно принадлежит – Людовику XIV или вашему покорному слуге.
тенденция к подразделению семантических компонентов.
логическая функция, следствие (если А, то В); в трактовке математической логики, "материальная импликация", утверждение "если А, то В" считается ложной, только если А истинно, а В ложно, и при установлении истинности материальной импликации не предполагается, что высказывания A и В связаны между собой по содержанию, поэтому истинными будут высказывания: "если на Солнце живут люди, то дважды два равно четыре", "если Волга озеро, то Токио - большой город", "если Солнце - куб, то Земля треугольник"; поскольку такая импликация плохо согласуется с обычным пониманием условной связи, то кроме этой импликации в логике были введены "неклассические" импликации, учитывающие не только истинностные значения высказываний, но и связь содержания - "строгая импликация" и "релевантная импликация".
* "Прежде всего потому, что и непроизвольно можно вести себя ИНТЕЛЛЕКТУАЛЬНО, но непроизвольно вести себя РАЗУМНО, скорее всего, нельзя, так как импликацией разумности является ее осознание". - Мегабитовая бомба. Искусственный разум? *
(от лат. implico - тесно связываю) (материальная импликация), приблизительный логический эквивалент оборота "если..., то..."; операция, формализующая логические свойства этого оборота.