- •Министерство образования и науки украины
- •Содержание
- •Пояснительная записка
- •Структура курса
- •Модуль 1. Множества
- •Тема 1. Множества и операции над ними
- •Введение
- •1. Понятие множества и элемента множества
- •2.Способы задания множества
- •3. Отношения между множествами. Подмножество
- •Примеры
- •4. Круги Эйлера-Венна
- •Практическая работа. Понятие множества
- •Тема 2. Операции над множествами
- •1. Пересечение множеств
- •2. Объединение множеств
- •3. Законы пересечения и объединения множеств
- •Определение. Для любых множеств а, в и с выполняются равенства:
- •4. Вычитание множеств. Дополнение подмножества
- •Практическая работа. Операции над множествами
- •Вопросы к изучению
- •Основные понятия
- •Обозначения
- •Практическая часть
- •Тема 2.1. Понятие разбиения множества на классы
- •1. Понятие разбиения множества на классы
- •Практическая работа. Разбиение множества на классы
- •Вопросы к изучению
- •Обозначения
- •Правила
- •Тема 2.2. Декартово произведение множеств
- •1. Декартово произведение множеств
- •2. Свойства операции нахождения декартова произведения
- •3. Кортеж. Длина кортежа
- •Практическая работа. Декартово произведение
- •Вопросы к изучению
- •Обозначения
- •Правила
- •Тема 3. Понятие соответствия Содержание
- •1. Понятие соответствия между множествами
- •Рассмотрим примеры соответствий, изучаемых в начальном курсе математики.
- •2. Способы задания соответствий
- •3. Соответствие обратное данному
- •4. Взаимно однозначные соответствия
- •5. Равномощные множества
- •Практическая работа. Соответствия между двумя множествами
- •Тема 4. Числовые функции
- •1. Понятие функции. Способы задания функций
- •2. Прямая и обратная пропорциональности
- •Основные понятия темы
- •Основные выводы, замечания
- •Тема 5. Отношения на множестве
- •1. Понятие отношения между элементами одного множества
- •2. Способы задания отношений
- •3. Свойства бинарных отношений
- •Практическая работа. Отношения на множестве
- •Тема 6. Выражение. Уравнение. Неравенство
- •Выражения и их тождественные преобразования.
- •1. Выражения и их тождественные преобразования
- •3. Уравнения с одной переменной
- •4. Неравенства с одной переменной
- •Практическая работа. Выражения и их преобразования. Числовые равенства и неравенства с одной переменной.
- •Практическая работа. Уравнения и неравенства с одной переменной.
- •Контрольная (зачетная) работа
- •Модуль 2. Математические утверждения и их структура
- •Тема 7. Математические понятия Содержание
- •1. Математические понятия. Объем и содержание понятия
- •Пусть заданы два понятия а и b. Объемы их обозначим соответственно а и в.
- •2. Отношение рода и вида между понятиями
- •4. Требования к определению понятий
- •5. Неявные определения
- •Практическая работа. Математические понятия
- •Вопросы к изучению
- •Представления о математических понятиях -
- •Обозначения
- •Тема 8. Высказывания и высказывательные формы
- •2. Конъюнкция и дизъюнкция высказываний
- •3. Конъюнкция и дизъюнкция высказывательных форм
- •Практическая работа. Высказывания и высказывательные формы
- •Тема 8.1. Высказывания с квантором. Отрицание высказываний и высказывательных форм
- •1. Высказывания с кванторами
- •2. Истинность высказываний с кванторами
- •3. Отрицание высказываний и высказывательных форм
- •Практическая работа. Высказывания с кванторами. Отрицание высказываний и высказывательных форм
- •Тема 8.2. Отношения следования и равносильности между предложениями
- •1. Отношения следования между предложениями
- •2. Отношения равносильности между предложениями
- •Практическая работа. Отношения следования и равносильности между предложениями
- •Вопросы к изучению
- •Основные понятия темы
- •Обозначения
- •Тема 8.3. Структура теоремы. Виды теорем
- •1. Структура теоремы
- •2. Отличие теоремы от правила
- •3. Виды теорем
- •Практическая работа. Структура теоремы. Виды теорем
- •Тема 9. Математическое доказательство
- •1. Понятие умозаключения.
- •2. Дедуктивные умозаключения Умозаключения, построенные по схеме
- •3. Индуктивные умозаключения. Полная индукция
- •Все s1, s2,..., Sп исчерпывают весь класс s (4) Все s есть р
- •4. Неполная индукция
- •5. Математическая индукция
- •6. Аналогия
- •7. Умозаключения «от противного»
- •8. Некоторые виды неправильных умозаключений
- •9. Логическая структура математической задачи
- •10. Закон достаточного основания и аксиоматический метод в математике
- •Практическая работа. Математическое доказательство
- •Теоретическая часть Вопросы к изучению
- •Основные понятия темы
- •Практическая часть
- •Тема 10. Текстовая задача и процесс ее решения
- •1. Роль и место задач в начальном курсе математики. Функции текстовых задач
- •2. Структура процесса решения текстовой задачи
- •2. Методы и способы решения текстовых задач
- •3. Этапы решения задачи и приемы их выполнения
- •1. Анализ задачи
- •4. Поиск и составление плана решения задачи
- •5. Осуществление плана решения задачи
- •6. Проверка решения задачи
- •7. Моделирование в процессе решения текстовых задач
- •Практическая работа. Текстовая задача и процесс ее решения
- •Теоретическая часть Вопросы к изучению
- •Основные понятия темы
- •Практическая часть
- •Тема 11. Комбинаторные задачи и их решение
- •1. Комбинаторика
- •2. Правила суммы и произведения
- •3. Размещения и сочетания
- •Практическая работа. Комбинаторные задачи и их решение
- •Вопросы для коллоквиума
- •Модуль 3. Целые неотрицательные числа
- •Тема 12. Аксиоматическое построение системы натуральных чисел
- •1. Из истории возникновения понятия натурального числа
- •2. Об аксиоматическом способе построения теории
- •3. Основные понятия и аксиомы. Определение натурального числа
- •4. Количественные натуральные числа. Счет
- •Семинарское занятие. История возникновения понятия натурального числа Вопросы к изучению
- •Вопросы для самоконтроля
- •Задания для самостоятельной работы
- •Тема 13. Теоретико-множественный подход к построению натурального ряда чисел. Теоретико-множественный смысл арифметических действий.
- •1. Теоретико-множественный смысл натурального числа, нуля и отношения «меньше»
- •2. Теоретико-множественный смысл суммы
- •3. Теоретико-множественный смысл разности
- •4. Теоретико-множественный смысл произведения
- •5. Теоретико-множественный смысл частного натуральных чисел
- •Практическая работа. Теоретико–множественный смысл суммы, разности, произведения, частного и отношения «меньше»
- •Теоретическая часть Вопросы к изучению
- •Основные понятия темы
- •Тема 14. Позиционные и непозиционные системы исчисления
- •1. Позиционные и непозиционные системы счисления
- •2. Запись числа в десятичной системе счисления
- •Практическая работа. Запись целых неотрицательных чисел
- •Теоретическая часть
- •Основные понятия темы
- •Тема 15. Алгоритмы действий над целыми неотрицательными числами
- •1. Алгоритм сложения
- •2. Алгоритм вычитания
- •3. Алгоритм умножения
- •4. Алгоритм деления
- •Практическая работа. Алгоритмы арифметических действий
- •Теоретическая часть Вопросы к изучению
- •Основные понятия темы
- •Тема 16. Отношение делимости и его свойства Содержание
- •Признаки делимости.
- •Наименьшее общее кратное и наибольший общий делитель.
- •1. Отношение делимости и его свойства
- •2. Признаки делимости
- •3. Наименьшее общее кратное и наибольший общий делитель
- •4. Простые числа
- •5. Способы нахождения наибольшего общего делителя и наименьшего общего кратного чисел
- •Практическая работа. Делимость натуральных чисел
- •Тема 17. О расширении множества натуральных чисел
- •1. Понятие дроби
- •2. Положительные рациональные числа
- •3. Запись положительных рациональных чисел в виде десятичных дробей
- •4. Действительные числа
- •Практическая работа. Действия над положительными действительными числами
- •Вопросы к коллоквиуму
- •Теоретико-множественный смысл отношения «меньше», «равно»
- •Теоретико-множественный смысл суммы.
- •Теоретико-множественный смысл разности.
- •Признаки делимости.
- •Тема 18. Натуральное число как мера величины. Измерение величин
- •1. Понятие положительной скалярной величины и ее измерения
- •2. Смысл натурального числа, полученного в результате измерения величины
- •3. Смысл суммы и разности
- •Практическая работа. Понятие положительной скалярной величины
- •Практическая работа. Обоснование выбора действий при решении текстовых задач в начальной школе
- •Теоретическая часть Вопросы к изучению
- •Определения, теоремы, выводы
- •Тема 19. Геометрические фигуры на плоскости и их свойства
- •1. Понятие геометрической фигуры
- •2. Углы
- •3. Параллельные и перпендикулярные прямые
- •4. Треугольники
- •5. Четырехугольники
- •Параллелограммом называется четырехугольник, у которого противолежащие стороны параллельны.
- •1. Диагонали параллелограмма пересекаются и точкой пересечения делятся пополам.
- •2. У параллелограмма противолежащие стороны и противолежащие углы раны.
- •6. Многоугольники
- •7. Окружность и круг
- •8. Построение геометрических фигур на плоскости.
- •1. Построить на данной прямой отрезок со, равный данному отрезку ав.
- •2. Отложить от данной полупрямой в данную полуплоскость угол, равный данному углу.
- •3. Найти середину отрезка.
- •4. Построить биссектрису данного угла.
- •5. Через данную точку провести прямую, перпендикулярную данной прямой.
- •9. Преобразования геометрических фигур. Понятие преобразования
- •1. Симметрия относительно точки (центральная симметрия).
- •2. Симметрия относительно прямой (осевая симметрия).
- •3. Гомотетия.
- •10. Движения и равенство фигур
- •Практическая работа. Решение геометрических задач
- •Практическая работа. Основные задачи на построение на плоскости
- •Теоретическая часть Вопросы к изучению
- •Основные понятия темы
- •Практическая часть
- •Тема 20. Изображения пространственных фигур
- •1. Свойства параллельного проектирования
- •2. Многогранники и их изображение
- •3. Шар, цилиндр, конус и их изображение
- •Практическая работа. Изображение пространственных фигур на плоскости
- •Теоретическая часть Вопросы к изучению
- •Основные понятия темы
- •Практическая часть
- •Тема 21. Геометрические величины
- •1. Длина отрезка и ее измерение
- •2. Величина угла и ее измерение
- •3. Понятие площади фигуры и ее измерение
- •4. Площадь многоугольника
- •5. Площадь произвольной плоской фигуры и ее измерение
- •Практическая работа. Геометрические величины
- •Теоретическая часть Вопросы к изучению
- •Основные понятия темы
- •Правила, замечания
- •Практическая часть
- •Список литературы
- •Учебник для студентов высших педагогических учебных заведений специальности: «начальное обучение»
- •Глузман Неля Анатольевна Кандидат педагогических наук, доцент, заведующий кафедрой методик начального и дошкольного образования рвуз «Крымский гуманитарный университет» (г. Ялта)
3. Отрицание высказываний и высказывательных форм
Пусть предложение А – высказывание. Если перед сказуемым данного предложения поставить частицу «не» либо перед всем предложением поставить слова «неверно, что», то получится новое предложение, которое называется отрицанием данного и обозначается (читают: «не А» или «неверно, что А»).
Определение. Отрицанием высказывания А называется высказывание , которое ложно, когда высказывание А истинно, и истинно, когда высказывание А – ложно.
Таблица истинности отрицания имеет вид:
А |
|
и |
л |
л |
и |
Из данного определения следует, что предложение и его отрицание не могут быть ни одновременно истинны, ни одновременно ложны.
Построим, например, отрицание ложного высказывания «число 28 делится на 9»:
а) Число 28 не делится на 9.
б) Неверно, что число 28 делится 9.
Высказывания, которые мы получили, истинные. Значит, отрицание данного предложения построено правильно.
Рассмотрим теперь правила построения отрицания конъюнкции и дизъюнкции высказываний. Если перед всем составным высказыванием поставить слова «неверно, что», то, безусловно, получим его отрицание. А как быть с частицей «не»? Можно ли поставить ее перед сказуемым составного предложения и получить его отрицание? Возьмем, например, высказывание «число 28 делится на 9 и на 4». Оно ложное, так как представляет собой конъюнкцию двух высказываний, одно из которых ложно. Поставив перед сказуемым этого высказывания частицу «не», получим конъюнкцию «число 28 не делится на 9 и на 4», в которой одно из предложений «число 28 не делится на 4» – ложное и, значит, ложно построенное с помощью частицы «не» предложение. Поэтому оно не является отрицанием высказывания «число 28 делится на 9 и на 4».
Можно доказать, что отрицание конъюнкции двух высказываний А и В является дизъюнкцией их отрицаний. Для этого надо убедится в том, что значения истинности высказываний вида и совпадают при любых значениях истинности высказываний А и В. Сделать это можно при помощи таблицы истинности:
А |
В |
А |
|
|
|
|
И |
и |
и |
л |
л |
л |
л |
И |
л |
л |
и |
л |
и |
и |
Л |
и |
л |
и |
и |
л |
и |
Л |
л |
л |
и |
и |
и |
и |
Про высказывания вида и говорят, что ониравносильны, и пишут .
Аналогично можно доказать, что имеет место равносильность .
Эти равносильности носят название законов де Моргана.
Из них вытекает следующее правило построения отрицания конъюнкции и дизъюнкции: чтобы построить отрицание конъюнкции (дизъюнкции), достаточно заменить отрицаниями составляющие ее высказывания, а союз «и» («или») заменить союзом «или» («и»).
Задача 1. Построить отрицание высказывания «число 28 делится на 9 или на 6».
Решение (два способа).
Поставим перед данным высказыванием слова «неверно, что». Получим высказывание «неверно, что число 28 делится на 6 или на 6», которое является отрицанием исходного.
Воспользуемся законом де Моргана: заменим высказывания «число 28 делится на 9» и «число 28 делится на 6» их отрицаниями, а союз «или» поменяем на союз «и». Получим высказывание «число 28 не делится на 9 и не делится на 6», которое также является отрицанием исходного.
Итак, мы выяснили, как строить отрицание конъюнкции и дизъюнкции высказываний. А как быть с высказываниями, которые содержат кванторы? Достаточно ли для отрицания таких предложений поставить перед сказуемым частицу «не»? Например, будет ли отрицанием высказывания «всякий прямоугольный треугольник является равнобедренным» предложение «всякий прямоугольный треугольник не является равнобедренным»? Видим, что не будет, так как оба высказывания ложны. Таким образом, строить отрицания высказываний с квантором при помощи частицы «не» перед сказуемым нельзя.
Остается другой путь – перед всем предложением, ставим слова «неверно, что». Тогда отрицанием высказывания «всякий прямоугольный треугольник является равнобедренным» будет предложение «неверно, что всякий прямоугольный треугольник является равнобедренным», но это предложение имеет тот же смысл, что и предложение «некоторые прямоугольные треугольники не являются равнобедренными».
Отрицанием высказывания «некоторые прямоугольные треугольники являются равнобедренными» является высказывание «неверно, что некоторые прямоугольные треугольники являются равнобедренными».
Вообще если дано предложение (х) А(х), то его отрицанием будут предложения и (х) , также имеющие один и тот же смысл (и одно и то же значение истинности).
Получаем две равносильности: (х) ;
х) .
Из них вытекает правило: для того чтобы построить отрицание высказывания, начинающегося с квантора общности (существования), достаточно заменить его квантором существования (общности) и построить отрицание предложения, стоящего после квантора.
Задача 2. Построить отрицание высказывания «некоторые однозначные числа делятся на 10».
Решение. Сделать это можно двумя способами.
Поставим перед высказыванием слова «неверно, что». Получим высказывание «неверно, что некоторые однозначные числа делятся на 10», которое является отрицанием данного.
Заменим квантор существования (он выражен словом «некоторые») на квантор общности «все» и построим отрицание предложения, стоящего после слова «некоторые», поставив частицу «не» перед сказуемым. Получим высказывание «все однозначные числа не делятся на 10».
Последнее, о чем пойдет речь, - это отрицание высказывательных форм.
Пусть на множестве Х задана высказывательная форма А(х). Ее отрицание обозначим (читают: «не А(х)» или «неверно, что А(х)»). Предложениебудет обращаться в истинное высказывание лишь при тех значениях х из множества Х, при которых А(х) – ложно. Таким образом,, где - множество истинности предложения , а– дополнение множества ТА до множества Х.
Доказательство этого равенства мы опускаем.
Пусть, например, на множестве натуральных чисел задана высказывательная форма А(х) – «число х кратно 5». Тогда ее отрицанием будет предложение «число х не кратно 5» (или «неверно, что число х кратно 5»), истинное при всех значениях х, которые не кратны 5.