Подтверждение следствия опирается на ошибочное предположение, что если В обязательно верно при верном А, то наличия В достаточно, чтобы доказать наличие А: «Если ты меня любишь, то ответишь на мое письмо. Ты ответил на мое письмо; значит, точно влюблен». Общий вид: «Если А, то В; В; следовательно, А».
Отрицание условия опирается на ошибочное предположение, что если В обязательно верно при верном А, то отсутствие А гарантирует отсутствие В: «Если ты закажешь стейк, тебе понравится угощение. Ты не заказал стейк. Значит, ужин тебе не понравится». Общий вид: «Если А, то В; не А; следовательно, не В».