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

КОНСЕКВЕНТ ИМПЛИКАЦИИ

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