Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь.
То есть данная логическая операция связывает два простых логических выражения, из которых первое является
условием (А), а второе (В) является следствием.