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

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