ОТРИЦАНИЕ АНТЕЦЕДЕНТА

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