Словарь по логике

Антецедент: Выражение (высказывание, высказывательная форма, формула и т.п.), стоящее перед знаком импликации. Посылка условного высказывания.