ПРЯМИЙ ДОКАЗ

З точки зору загального руху думки всі докази поділяються на прямі і непрямі.

При прямому доведенні завдання полягає в тому, щоб підшукати такі переконливі аргументи, з яких по логічним правилам виходить тезу.

Наприклад, потрібно довести, що сума кутів чотирикутника дорівнює 360 °. З яких тверджень можна було б вивести цю тезу? Відзначаємо, що діагональ ділить чотирикутник на два трикутники. Значить, сума його кутів дорівнює сумі кутів двох трикутників. Відомо, що сума кутів трикутника становить 180 °. З цих положень виводимо, що сума кутів чотирикутника дорівнює 360 °.

У побудові прямого доказу можна виділити два пов'язаних між собою етапи: пошук тих визнаних обгрунтованими тверджень, які здатні бути переконливими аргументами для доказуваного положення; встановлення логічного зв'язку між знайденими аргументами і тезою. Нерідко перший етап вважається підготовчим, і під доказом розуміється логічний висновок, що зв'язує підібрані аргументи і доводити тезу.

Ще приклад. Потрібно довести, що космічні кораблі підкоряються дії законів небесної механіки. Відомо, що ці закони універсальні: їм підпорядковуються всі тіла в будь-яких точках космічного простору. Очевидно також, що космічний корабель є космічне тіло. Відзначивши це, будуємо відповідне умовивід. Воно є прямим доказом розглянутого твердження.

 
Переглянути оригінал
< Попер   ЗМІСТ   ОРИГІНАЛ   Наст >