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