Импликация


Импликация

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

Импликация записывается как посылка \Rightarrow следствие; применяются также стрелки другой формы и направленные в другую сторону (остриё всегда указывает на следствие).

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

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

Содержание

Булева логика

В булевой логике импликация — это функция двух переменных (они же — операнды операции, они же — аргументы функции). Переменные могут принимать значения из множества ~\{0, 1\}. Результат также принадлежит множеству ~\{0, 1\}. Вычисление результата производится по простому правилу, либо по таблице истинности. Вместо значений ~0, 1 может использоваться любая другая пара подходящих символов, например ~false, true или ~F, T или «ложь», «истина».
Правило:
Импликация как булева функция ложна лишь тогда, когда посылка истинна, а следствие ложно. Иными словами, импликация A\to B — это сокращённая запись для выражения (\neg A)\or B.
Таблицы истинности:
прямая импликация (от a к b) (материальная импликация, материальный кондиционал)

~a ~b ~a\to b
~0 ~0 ~1
~0 ~1 ~1
~1 ~0 ~0
~1 ~1 ~1

если a\leqslant b, то истинно (1),

«Житейский» смысл импликации. Для более лёгкого понимания смысла прямой импликации и запоминания ее таблицы истинности может пригодиться житейская модель: А — начальник. Он может приказать «работай» (1) или сказать «делай что хочешь» (0). В — подчиненный. Он может работать (1) или бездельничать (0). В таком случае импликация — не что иное, как послушание подчиненного начальнику. По таблице истинности легко проверить, что послушания нет только тогда, когда начальник приказывает работать, а подчиненный бездельничает.

обратная импликация (от b к a, A\or(\neg B))

~a ~b ~a\leftarrow b
~0 ~0 ~1
~0 ~1 ~0
~1 ~0 ~1
~1 ~1 ~1

если a\geqslant b, то истинно (1),
обратная импликация — отрицание (негация, инверсия) обнаружения увеличения (перехода от 0 к 1, инкремента).

отрицание (инверсия, негация) обратной импликации ( \lnot A \land B),
разряд займа в двоичном полувычитателе,

~a ~b ~\lnot(a\leftarrow b)
~0 ~0 ~0
~0 ~1 ~1
~1 ~0 ~0
~1 ~1 ~0

Импликация и следствие

Не следует путать импликацию (->) и логическое следование (=>). Импликация, как логическое выражение может сама принимать значения истины или лжи. Логическое же следование A => B, утверждает, что во всех случаях, когда формула А - истина, B - тоже будет истина.

Синонимические импликации выражения в русском языке

  1. Когда А, то B
  2. В в том случае, если А
  3. При А В
  4. Из А следует В
  5. В случае А произойдет В
  6. В, так как А
  7. В потому, что А
  8. Без А не будет В
  9. В невозможно в отсутствие А
  10. В необходимое условие для А
  11. А достаточное условие для В.

Многозначная логика

Теория множеств

Импликация высказываний означает, что одно из них следует из другого. Импликация обозначается символом ⇒, и ей соответствует вложение множеств: пусть A ⊂ B, тогда

                                 a ∈ A ⇒ a ∈ B.

Например, если A — множество всех квадратов, а B — множество прямоугольников, то, конечно, A ⊂ B и

                     (a — квадрат) ⇒ (a — прямоугольник)

(если a является квадратом, то a является прямоугольником).

Классическая логика

В классическом исчислении высказываний свойства импликации определяются с помощью аксиом.

Можно доказать эквивалентность импликации AB формуле \neg A \lor B (с первого взгляда более очевидна её эквивалентность формуле  \neg (A \land \neg B), которая принимает значение «ложь» в случае, если выполняется A (посылка), но не выполняется B (следствие)).

Интуиционистская логика

В интуиционистской логике импликация никоим образом не сводится к отрицаниям. Скорее напротив, отрицание ¬A можно представить в виде A→⊭, где ⊭ — пропозициональная константа «ложь». Впрочем, такое представление отрицания возможно и в классической логике.

В интуиционистской теории типов импликации соответствует множество (тип) отображений из A в B.

Логика силлогизмов

В учении о силлогизмах импликации отвечает «общеутвердительное атрибутивное высказывание».

Программирование

В языках программирования импликация используется, как правило, неявно. Например, конструкция, предполагающая истинность условия B в данном участке программмы:

if ( выражение_для_проверки_A ) {
   //if ( выражение_для_проверки_B ) {
      сделать_что-то_полезное;
   //}
   //else {
   //    сбой;
   //};
}
else {
   сделать_что-то_на_случай_ложности_A;
};

будет успешно выполняться если и только если верна импликация A→B. В то же время эти условия можно спокойно написать в одной строке, объединив их оператором AND или &&. При стандартных опциях компилятора (Delphi, C++ Builder) проверка идет до тех пор, пока результат не станет очевидным, и если А ложно, то (А и В) ложно вне зависимости от В, и не нужно ставить еще один условный оператор.

В функциональных языках импликация может быть не только правилом вычислений, но и видом отношения между данными, то есть обрабатываться (в том числе и выполняться) и создаваться по ходу выполнения программы.

См. также

Ссылки


Wikimedia Foundation. 2010.

Синонимы:

Смотреть что такое "Импликация" в других словарях:

  • ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… …   Философская энциклопедия

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

  • Импликация —  Импликация  ♦ Implication    Отношение между двумя суждениями, при котором второе является необходимым следствием первого: если р, то q. Если первое суждение истинно, истинно и второе. Если второе ложно, ложно и первое. Напротив, если первое… …   Философский словарь Спонвиля

  • ИМПЛИКАЦИЯ — (от лат. implico тесно связываю) (материальная импликация) приблизительный логический эквивалент оборота если..., то... ; операция, формализующая логические свойства этого оборота …   Большой Энциклопедический словарь

  • ИМПЛИКАЦИЯ — [лат. implicatio сплетение, переплетение] лог. логическая операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей союзу «если... то...». Словарь иностранных слов. Комлев Н.Г., 2006. импликация …   Словарь иностранных слов русского языка

  • импликация — и, ж. implication f., нем. Implikation <лат. implicatio сплетение, переплетение. 1. В логике: операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей по смыслу союзу если .., то . Крысин… …   Исторический словарь галлицизмов русского языка

  • импликация — сущ., кол во синонимов: 1 • операция (457) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • импликация — вовлечение проблема смысл значение последствие — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы вовлечениепроблемасмыслзначениепоследствие EN… …   Справочник технического переводчика

  • ИМПЛИКАЦИЯ — в информатике эквивалент оборота «если..., то...», образующий сложное высказывание из двух высказываний, а также логическая операция, формализующая в программе логические свойства этого оборота …   Большая политехническая энциклопедия

  • Импликация —    логическая функция, следствие (если А, то В); в трактовке математической логики, материальная импликация , утверждение если А, то В считается ложной, только если А истинно, а В ложно, и при установлении истинности материальной импликации не… …   Мир Лема - словарь и путеводитель

Книги

Другие книги по запросу «Импликация» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.