Светлый фон
Следовательно, тебе будет холодно

Подтверждение условия нужно отличать от похожей, но невалидной формы аргумента – логической ошибки подтверждения следствия.

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

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

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

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

Тебе холодно

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

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

В сущности, ошибка заключается в путанице между В, истинным, если А истинно, и В, истинным, только если А истинно.

если только если

2. Modus tollens: отрицание следствия

2. Modus tollens: отрицание следствия

Modus tollens

Понятие modus tollens (сокращение латинского выражения modus tollendo tollens – «путь исключения исключений») обозначает валидный аргумент в общей форме, также называемый отрицанием следствия.

modus tollens