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