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