Утверждение антецедента

Условное суждение, в котором во второй посылке утверждается что часть, начинающаяся с «если», истинна.