логическое следование (лат. implicatio – тесно связываю)

импликация – это операция (применимая к двум высказываниям), результат выполнения которой ложен тогда и только тогда, когда из истинной посылки следует ложное следствие.

обозначение операции: A → B, A =>B

таблица истинности:

A	B	A → B
0	0	1
0	1	1
1	0	0
1	1	1

интересное замечание: казалось бы, что так же, как из истины не может следовать ложь, из лжи не должна следовать истина. Однако, нет. Достаточно вспомнить случаи из жизни каждого из нас, когда мы лжём «во имя добра»

графическая иллюстрация с помощью диаграмм Эйлера:

арифметическая модель: 1 – A + A ∙ B

логическая связка: «если… , то…», «из… следует…», «…влечёт …», «когда… , то…», «в случае… произойдёт…» и т.п.

примеры:

имеем высказывания A и B

A: {Сегодня температура понизилась до -5}

B: {Сегодня образовалась наледь}

Допустим, что

A=1

B=1

A → B = 1 → 1 = 1

A → B: {В следствие того, что сегодня температура понизилась до -5, произошло образование наледи}