Правило импликации (if-then rule, if-then statement) — правило формальной логики, которое состоит из части » если», представляющей предпосылку или условие, и части «то», представляющей цель или действие, принимаемое, когда часть «если» истинна.
Допустимый синоним: Оператор «если-то».
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]