Традиционная логика

АНТЕЦЕДЕНТ ИМПЛИКАЦИИ

структурный компонент условного суждения, суждение фиксирующее условие, которым детерминировано следствие.