Прямое и косвенное доказательство

Обычно доказательство слагается из серии шагов. Нужно уметь проследить каждый шаг доказательства, иначе его части лишатся связи, и оно в любой момент может рассыпаться, как карточный домик. Но не менее важно понять доказательство в целом, как единую конструкцию, каждая часть которой необходима на своем месте.

Доказательство, не понятое как целое, ни в чем не убеждает. Даже если выучить его наизусть, предложение за предложением, к имеющемуся знанию предмета это ничего не прибавит. Следить за доказательством и лишь убеждаться в правильности каждого его последующего шага — это равносильно такому наблюдению за игрой в шахматы, когда замечаешь только то, что каждый ход подчинен правилам игры.

Минимальное требование — это понимание логического выведения как целенаправленной процедуры. Только в этом случае достигается интуитивная ясность того, что мы делаем.

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