С точки зрения обывателя, читавшего детективные повести Шерлока Холмса, дедуктивный метод заключается примерно в следующем. Надо перебрать все возможные версии, отбрасывая одну за другой. Та, которая останется, и будет истиной, независимо от того, насколько неожиданной она покажется.
С точки зрения математики в "дедуктивный метод" входит не только такой способ рассуждения, но и многие другие приемы доказательства. Как то так повелось, что есть еще несколько терминов, которые означают приблизительно то же самое: "дедуктивная система", "аксиоматическая система", "аксиоматический метод", "аксиоматика", "исчисление высказываний", "логическое исчисление", "пропозициональное исчисление". Наверное, можно долго говорить о тонких различиях между этими понятиями, но думаю, что такие различия особого значения не имеют.
Предлагаемый текст - это учебник. Здесь излагаются принципы, которые являются общими для всех дедуктивным систем. Как видно по объему учебника, их не так уж много, однако значение дедуктивного метода для математики (и логики) переоценить трудно.
Учебник рассчитан на уровень школьника примерно 6-го класса или выше (требуется хотя бы год изучения геометрии в школе), не содержит сложных формул. Несмотря на внешнюю простоту предмета, вопросы, которые здесь обсуждаются, зачастую оказываются связаны с убеждениями и стереотипами (особенно у взрослых), преодолеть которые становится подчас непосильной задачей. Так что для школьника этот текст может оказаться значительно более понятным, чем для взрослого.
