Значение слова «импликация»

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

  Импликация записывается как посылка

  ⇒

  {\displaystyle \Rightarrow }

  следствие; применяются также стрелки другой формы и направленные в другую сторону, но всегда указывающие на следствие.

  Суждение, выражаемое импликацией, выражается также следующими способами:

  • посылка является условием, достаточным для выполнения следствия;

  следствие является условием, необходимым для истинности посылки.Импликация играет очень важную роль в умозаключениях. С её помощью формулируются определения различных понятий, теоремы, научные законы.

  При учёте смыслового содержания высказываний импликация подразумевает причинную связь между посылкой и заключением.

Источник: Википедия

• имплика́ция

  1. книжн. подразумевание, подтекст, неявное присутствие, существование чего-либо ◆ Ян садился = «Ян производил такой ряд действий (движений), что если бы он произвел все действия этого ряда, то наступило бы событие „Ян сел“»: в толковании предельного глагола есть импликация («если бы …, то»), которой нет у непредельного… Е. В. Падучева, «Вид и лексическое значение глагола (от лексического значения глагола к его аспектуальной характеристике)», 1990 г. // «Russian Linguistics»

  2. матем. логическая функция, описывающая следование одного высказывания из другого ◆ Если утверждение A истинно, а утверждение B ложно, то импликация A ⇒ B ложна; во всех остальных случаях импликация истинна (в частности, даже в том случае, если оба утверждения A и B ложны!). В. О. Бугаенко, «Математический кружок. 9-й класс», 2000 г. (цитата из НКРЯ) ◆ Ещё одно отличие трехзначной логики от булевой состоит в отсутствии функциональной полноты (не все функции алгебры логики могут быть выражены через операции импликации и отрицания). «Технология автоматизированной синдромной диагностики заболеваний на основе трехзначной логики», 2003 г. // «Информационные технологии» (цитата из НКРЯ)

Источник: Викисловарь