Методика преподавания темы "Элементы логики" в курсе математики 5-6 классов — страница 7

изученное, а именно признаки делимости. Далее равносильность предложений используется при изучении признаков делимости. В учебнике [5] ребята познакомились со многими понятиями. Во втором пункте пятого параграфа автор отмечает, что одно определение можно сказать и записать в разных формах, но всегда определение объясняется через уже известные «старые» слова. Ребята учатся писать на математическом языке уже известные им

понятия. Таким образом автор уже сейчас вводит основные кванторы, не делая на них строгий акцент. Дорофеев, Г. В. Математика. класс. В трех частях. Л. Г. Петерсон// М.: «Баласс», «С-инфо», 1998. Учебник [2] начинается с главы «Язык и логика». В этой главе автор рассматривает понятие отрицания. Явного определения здесь также не дается. Отрицание рассматривается на примере спора двух людей, которые отрицают друг друга. Далее автор приводит

не сложные примеры отрицаний, которые оформлены в виде таблицы, что очень удобно для учеников. Автор отмечает, что необходимо культурно и грамотно формулировать отрицание. Далее автор формулирует закон исключенного третьего. В следующих двух параграфах рассматривается отрицание общих высказываний и отрицание высказываний о существовании. Здесь ученики учатся формулировать отрицание не только грамотно с точки зрения

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

Здесь он явно дает понятие переменной, выражений с переменной. Здесь же автор знакомит ребят с понятием квантора. Это позволяет ребятам уже сейчас записывать высказывания в компактной, легко обозримой форме. В этом параграфе ученики узнают математический язык как точный язык. Например, ученики имеют возможность узнать о таком факте, что истинное высказывание вообще высказыванием не является. Материал, изученный в

рассмотренном параграфе, используется при изучении главы «Арифметика». Здесь во многих задачах необходимо найти значение переменной. В третьей главе рассматривается понятие логического следования. Понятие дается на примерах из жизни и из математики. В следующих пунктах ученики знакомятся с понятием отрицания логического следования и понятием обратного утверждения. На данном этапе ученики уже знакомы с понятием