В данной работе представлена методика обучения доказательству учащихся основной школы на базе концепции обучения школьников доказательству с использованием средств естественного вывода. Понятие доказательства адаптировано к школьному курсу математики в виде дерева – дедуктивной схемы доказательства. Разработана методика использования этих схем при обучении анализу логической структуры доказательств и построению доказательств. Приведен комплекс специальных логико-ориентированных (дедуктивных) задач и вопросов, направленных па формирование дедуктивной деятельности учащихся.
Монография предназначена для студентов и преподавателей математических факультетов вузов.