Программа на 6-й класс: логика

Тема 1.Законы логики, повторение (2 часа)

Тема 2.  Алгебра высказываний: язык алгебры высказываний, операции с высказываниями, тавтологии и равносильности, законы алгебры высказываний. (11 часов)

Решение простейших задач с помощью алгебры логики

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

Тема 3. Умозаключения. Методы доказательства, виды теорем (6 часов)

Пояснение к теме: рассматривается прямой дедуктивный вывод и метод доказательства от противного, повторяются теоремы, изученные в курсе алгебры и геометрии.

Тема 4. Непосредственные умозаключения (5 часов)

Тема 5. Силлогизм (6 часов)

Повторение (проведение зачетов в течение года по темам: определение, ошибки при нарушении законов логики совместно с преподавателями литературы, биологии, географии) 5 часов