Доказ — це припущення, підкріплене доказами. Це формальна міркування, яка встановлює істинність утвердження. Коли люди використовують слово «доказ», вони зазвичай мають на увазі щось суворе. Вони шукають дедукцію, яка не залишає місця для сумнівів.
У світі формальних аксіоматичних систем стає гранично точним. Тут підтвердження визначається як кінцева послідовність коректно освічених формул. Ці формули повинні підкорятися прийнятим правилам освіти. Якщо ви порушуєте правила, послідовність перестає бути доказом.
Структура суворо регламентована. Кожна формула в послідовності повинна відповідати одному з двох критеріїв. По-перше, вона може бути аксіомою. Аксіоми – це відправні точки. Вони приймаються без підтвердження. По-друге, формула може бути виведена із попередніх формул. Це виведення має використовувати допустиме правило виведення. Не можна пропускати кроки. Не можна припускати, що треба довести.
Ціль конкретна. Останньою формулою в послідовності є та, яку ви хочете довести. Все, що йде перед нею, підтримує цей остаточний висновок. Якщо логіка вірна, твердження вважається дійсним.
Не всі докази спираються на ту саму логіку. Деякі ґрунтуються на індуктивному міркуванні. Індукція вивчає закономірності та робить узагальнення. Але в формальній логіці та математиці термін «доказ» має на увазі сувору дедукцію. Дедукція рухається від загальних принципів до окремих висновків. Вона гарантує істинність, якщо посилки є істинними.
Іноді доказ розбиває завдання частини. Це відомо як доказ протилежного або доказ з нагоди. Також зване в деяких контекстах дилемою цей метод обробляє складні сценарії, розглядаючи кожну можливість окремо. Ви доводите результат для випадку А. Ви доводите його для випадку Б. Якщо один із цих випадків має бути істинним, загальне твердження також є істинним.
Цінність доказу полягає у його достовірності. У науці докази накопичуються. У математиці та логіці доказ дає остаточність. Воно показує, чому чомусь істинно. Воно не просто стверджує, що це так. Воно проходить через усі кроки. Воно змушує читача погодитись із висновком.
Цей процес потребує дисципліни. Ви повинні дотримуватися правил утворення формул. Ви повинні використовувати допустимі правила виводу. Ви повинні завершити цільове затвердження. Якщо ви пропустите крок, доказ звалиться. Якщо ви використовуєте неприпустиме правило виведення, результат втрачає сенс.
Отже, як написати? Ви починаєте з аксіом. Ви використовуєте правила виведення. Ви будуєте послідовність. Ви перевіряєте кожний крок. Ви сподіваєтеся, що остання формула збігається з тією, яку ви мали намір довести. Це – механічний процес. Але він призводить до глибоких істин.
Чому це важливо? Тому що це вирізняє віру від знання. У повсякденному житті ми приймаємо речі, ґрунтуючись на довірі. У логіці ми приймаємо речі, ґрунтуючись на доказі. Різниця очевидна. Одне суб’єктивне. Інше об’єктивно.
Чи є доказ для кожного питання? Ні. Деякі твердження нерозв’язні у межах цієї системи. Але для тих, що їх можна довести, метод зрозумілий. Це кінцева послідовність. Вона суворо регламентована. Вона коректна.
Історія логіки сповнена дебатів про те, що вважається доказом. Різні системи мають різні аксіоми. Різні правила виведення. Але основна ідея залишається незмінною. Доказ встановлює коректність. Воно пов’язує відоме з невідомим. Воно будує міст від аксіоми висновку.
Для студентів та тих, хто навчається все життя, розуміння цієї структури є ключовим. Це змінює ваш підхід до вирішення завдань. Ви перестаєте шукати
