Антецедент импликации
Антецедент импликации
структурный компонент условного суждения, суждение фиксирующее условие, которым детерминировано следствие.
Источник: Традиционная логика. Словарь по книге