ПРЯМЕ І НЕПРЯМИЙ ДОКАЗ

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

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

Мінімальна вимога - це розуміння логічного виведення як цілеспрямованої процедури. Тільки в цьому випадку досягається інтуїтивна ясність того, що ми робимо.

Те, що створює «єдність докази», можна уявити в формі загальної схеми, яка охоплює основні його кроки, що втілює в собі його принцип або його підсумкову структуру. Саме така схема залишається в пам'яті, коли забуваються подробиці докази.

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