December 24th, 2020

Наиболее частая ошибка в «доказательстве от противного»



Идея «доказательства от противного» базируется на логической операции «следование». Эта операция записывается как



и читается как «из суждения A следует суждение B».

Несмотря на то, что по звучанию оно похоже на «из A можно вывести B», на самом деле это — некоторое описание взаимоотношений неких двух суждений, которое означает «если A истинно, то совершенно точно и B тоже истинно, а если A ложно, то B может быть как истинным, так и ложным».

При этом совершенно не обязательно существование какой-то последовательности промежуточных операций, позволяющих «чисто логически» вывести B из A. Вполне достаточно даже просто каких-то наших наблюдений.

Collapse )