Светлый фон
modus tollendo tollens отрицанием следствия
Предпосылка 1: если А, то В. Если выйдешь на улицу без куртки, тебе будет холодно. Предпосылка 2: не В. Тебе не холодно. Вывод: следовательно, не А. Следовательно, ты не вышел на улицу без куртки.

Предпосылка 1: если А, то В. Если выйдешь на улицу без куртки, тебе будет холодно.

Если выйдешь на улицу без куртки, тебе будет холодно

Предпосылка 2: не В. Тебе не холодно.

Тебе не холодно

Вывод: следовательно, не А. Следовательно, ты не вышел на улицу без куртки.

следовательно, не А. Следовательно, ты не вышел на улицу без куртки Следовательно, ты не вышел на улицу без куртки

Невалидной формой аргумента, соответствующей отрицанию следствия, является формальная логическая ошибка отрицания условия.

отрицания условия
Предпосылка 1: если А, то В. Если выйдешь на улицу без куртки, тебе будет холодно. Предпосылка 2: не А. Ты не вышел на улицу без куртки. Вывод: следовательно, не В. Следовательно, тебе не может быть холодно.

Предпосылка 1: если А, то В. Если выйдешь на улицу без куртки, тебе будет холодно.

Если выйдешь на улицу без куртки, тебе будет холодно

Предпосылка 2: не А. Ты не вышел на улицу без куртки.

Ты не вышел на улицу без куртки

Вывод: следовательно, не В. Следовательно, тебе не может быть холодно.

следовательно, не В.