им-пли-ка-ци·я
Существительное, неодушевлённое, женский род, 1-е склонение (тип склонения 7a по классификации А. А. Зализняка).
Корень: -имплик-; суффикс: -ациj; окончание: -я [Тихонов, 1996].
книжн. подразумевание, подтекст, неявное присутствие, существование чего-либо
матем., лог. логическая функция, описывающая следование одного высказывания из другого
Источник: ru.wiktionary.orgЯн садился = «Ян производил такой ряд действий (движений), что если бы он произвел все действия этого ряда, то наступило бы событие "Ян сел"»: в толковании предельного глагола есть импликация («если бы ..., то»), которой нет у непредельного... Е. В. Падучева, «Вид и лексическое значение глагола (от лексического значения глагола к его аспектуальной характеристике)», 1990 г. // «Russian Linguistics» Источник: Интернет
Если утверждение A истинно, а утверждение B ложно, то импликация A ⇒ B ложна; во всех остальных случаях импликация истинна (в частности, даже в том случае, если оба утверждения A и B ложны!). В. О. Бугаенко, «Математический кружок. 9-й класс», 2000 г. [НКРЯ] Источник: Интернет
Ещё одно отличие трехзначной логики от булевой состоит в отсутствии функциональной полноты (не все функции алгебры логики могут быть выражены через операции импликации и отрицания). «Технология автоматизированной синдромной диагностики заболеваний на основе трехзначной логики», 2003 г. // «Информационные технологии» [НКРЯ] Источник: Интернет
Атецедент и консеквент - см. Импликация. Источник: Интернет
implication