Левая часть правила импликации (left-hand side, premise part, condition part) — множество фактов или утверждений в части, «если» в правиле импликации («если-то»).
Допустимый синоним: Часть предпосылки в правиле импликации; часть условия в правиле импликации.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]