Значение слова «импликация»
-
Импликация (лат. implicatio — связь) — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».
Импликация записывается как посылка
⇒
{\displaystyle \Rightarrow }
следствие; применяются также стрелки другой формы и направленные в другую сторону (остриё всегда указывает на следствие).
Суждение, выражаемое импликацией, выражается также следующими способами:
Посылка является условием, достаточным для выполнения следствия;
Следствие является условием, необходимым для истинности посылки.
Источник: Википедия
-
имплика́ция
1. книжн. подразумевание, подтекст, неявное присутствие, существование чего-либо ◆ Ян садился = «Ян производил такой ряд действий (движений), что если бы он произвел все действия этого ряда, то наступило бы событие „Ян сел“»: в толковании предельного глагола есть импликация («если бы …, то»), которой нет у непредельного… Е. В. Падучева, «Вид и лексическое значение глагола (от лексического значения глагола к его аспектуальной характеристике)», 1990 г. // «Russian Linguistics»
2. матем. логическая функция, описывающая следование одного высказывания из другого ◆ Если утверждение A истинно, а утверждение B ложно, то импликация A ⇒ B ложна; во всех остальных случаях импликация истинна (в частности, даже в том случае, если оба утверждения A и B ложны!). В. О. Бугаенко, «Математический кружок. 9-й класс», 2000 г. (цитата из НКРЯ) ◆ Ещё одно отличие трехзначной логики от булевой состоит в отсутствии функциональной полноты (не все функции алгебры логики могут быть выражены через операции импликации и отрицания). «Технология автоматизированной синдромной диагностики заболеваний на основе трехзначной логики», 2003 г. // «Информационные технологии» (цитата из НКРЯ)
Источник: Викисловарь
Похожие слова и словосочетания
- априоризм
- атомизм
- гипотетичность
- денотат
- дескрипция
- дизъюнкция
- доказуемость
- идеальный тип
- измеримость
- изоморфизм
- импликация
- интерпретирование
- исходная предпосылка
- каузальность
- квантификация
- классическая логика
- конституирование
- концептуализация
- концептуальная схема
- коррелят
- лингвистический поворот
- метафизический характер
- метаязык
- методологические принципы
- мировоззренческие установки
- модус
- наблюдаемость
- научный дискурс
- неистинность
- непротиворечивость
- несводимость
- общая семантика
- общезначимость
- общеобязательность
- объективное содержание
- объяснительная сила
- означивание
- онтологический статус
- онтология
- основоположение
- отличение
- подстановка
- порождающая грамматика
- постулирование
- правовой позитивизм
- проблема демаркации
- проблемное поле
- проверяемость
- пропозиция
- процессуальность
- референция
- рецептивная эстетика
- речевые жанры
- соотнесённость
- социальная теория
- социология знания
- спинозизм
- способы мышления
- субстанциальность
- тождество
- тожество
- уровень абстракции
- ценностные суждения
- эволюционная эпистемология
- элеат