Ответ:

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

логическое если...то

обозначается стрелкой вправо

таблица истинности для импликации

0 0 1

0 1 1

1 0 0

1 1 1