Импликация — это логическое следование.

Импликация двух высказываний А и В соответствует союзу «ЕСЛИ…ТО». Она обозначается символом →

Запись А → В читается как «из А следует В»

Пример:

Пусть суждение А = «Завтра будет хорошая погода», а суждение В = «Я выйду на прогулку», тогда импликация А → В есть суждение: Х = «Если завтра будет хорошая погода, то я выйду на прогулку».

Импликация двух высказываний истинна всегда, кроме случая, если первое высказывание истинно, а второе ложно.

Таблица истинности импликации двух суждений А и В такова:

Таблица истинности. Импликация.

А	В	А → В
0	0	1
0	1	1
1	0	0
1	1	1

В программировании эту операцию обозначают «IMP».