- •Рецензенти:
- •Передмова
- •Розділ і висловлення і операції над ними. Предикати § 1. Висловлення і операції над ними. Елементи математичної логіки
- •1. Вступ
- •2. Висловлення. Прості і складені висловлення
- •Предикати (висловлювальні форми)
- •Квантори
- •§ 2. Структура і види теорем
- •1. Структура теореми
- •2. Види теорем
- •3. Найпростіші схеми правильних міркувань
- •§ 3. Математичні поняття. Особливості математичних понять. Об'єм і зміст поняття. Означення понять. Структура означення понять через рід і видову відмінність
- •1. Поняття як форма мислення. Особливості математичних понять
- •2.Зміст і обсяг поняття, відношення між ними
- •Способи означення математичних понять
- •4. Вимоги до логічно правильних означень понять
- •5. Приклади математичних понять, які розглядаються в початковому курсі математики
- •Питання для самоконтролю
- •Система вправ
- •Розділ іі множини, операції над ними. Відношення § 4. Множини, операції над ними
- •Поняття множини і елемента множини. Порожня множина. Способи задання множин
- •Підмножина. Рівні множини. Зображення множин і зв’язків між ними за допомогою кругів Ейлера
- •Числові множини. Запис числових проміжків
- •Переріз і об’єднання множин. Закони цих операцій. Доповнення підмножини
- •Декартів добуток двох множин. Зображення декартового добутку двох числових множин на координатній площині
- •Властивості декартового добутку:
- •6. Поняття розбиття множини на підмножини, що попарно не перетинаються. Класифікація понять. Приклади класифікацій
- •§ 5. Відношення та відповідність
- •Поняття відношення. Граф відношення
- •Способи задання відношень
- •Властивості відношень
- •Відношення еквівалентності
- •Відношення порядку
- •Поняття відповідності
- •Способи задання відповідностей
- •Відповідність, обернена даній
- •Взаємно однозначні відповідності
- •Рівнопотужні множини
- •Питання для самоконтролю
- •Система вправ
- •Коротка історія розвитку поняття числа
- •Визначення натурального числа і нуля
- •Теоретико-множинний зміст кількісного натурального числа і нуля
- •Порівняння натуральних чисел
- •Властивості множини цілих невід’ємних чисел
- •Тема. Додавання цілих невід’ємних чисел
- •Теоретико-множинний смисл суми двох цілих невід’ємних чисел
- •Існування суми, її єдиність
- •Сума декількох доданків
- •Закони додавання
- •Тема. Віднімання цілих невід’ємних чисел
- •Теоретико-множинний смисл різниці двох цілих невід’ємних чисел
- •Означення різниці через суму. Зв’язок дії віднімання з дією додавання
- •Умови існування різниці, її єдиність
- •Правила віднімання
- •Відношення «більше на», «менше на»
- •Тема. Текстова задача. Способи розв’язування текстових задач. Прийоми пошуку плану розв’язування текстових задач, способи запису і перевірки. Прості текстові задачі на додавання і віднімання
- •Тема. Множення цілих невід’ємних чисел
- •1. Визначення добутку двох цілих невід’ємних чисел як числа елементів декартового добутку двох скінченних множин
- •2. Визначення добутку цілих невід’ємних чисел через суму. Операція множення цілих невід’ємних чисел
- •3. Визначення добутку декількох множників
- •Існування добутку, його єдиність
- •5.Закони множення: комутативний, асоціативний, дистрибутивний
- •Тема. Ділення на множині цілих невід’ємних чисел
- •2. Зв’язок ділення з множенням
- •3. Існування частки, її єдиність
- •4. Правила ділення
- •1. Правило ділення суми на число.
- •6. Ділення цілого невід’ємного числа на натуральне з остачею
- •Тема. Прості задачі на множення та ділення
- •V. Задачі на знаходження невідомого компонента арифметичної дії:
- •§7. Десяткова система числення
- •1. Десяткова система числення
- •Порівняння чисел у десятковій системі числення:
- •2. Додавання і віднімання багатоцифрових чисел в десятковій системі числення багатоцифрових чисел Алгоритм додавання цілих невід’ємних чисел у десятковій системі числення
- •Віднімання цілих невід’ємних чисел у десятковій системі числення
- •3. Множення і ділення багатоцифрових чисел в десятковій системі числення багатоцифрових чисел
- •§ 8. Подільність цілих невід’ємних чисел
- •1. Відношення подільності на множині натуральних чисел, його властивості
- •Рефлексивність.
- •Антисиметричність.
- •Транзитивність.
- •2. Теореми про подільність суми, різниці, добутку
- •3. Ознаки подільності на 2 і 5, 4 і 25, 3 і 9, на складені числа
- •4. Найбільший спільний дільник і найменше спільне кратне натуральних чисел, способи їх знаходження
- •Способи знаходження найбільшого спільного дільника і найменшого спільного кратного
- •§ 9. Позиційні і непозиційні системи числення
- •1. Позиційні і непозиційні системи числення
- •2. Дії над числами в позиційних системах числення, відмінних від десяткової
- •Питання для самоконтролю
- •Система вправ
- •Розділ IV раціональні і дійсні числа § 10. Раціональні числа. Дії над ними та їх властивості
- •Поняття про вимірювання відрізків. Розширення множини цілих невід’ємних чисел
- •Дроби та їх властивості
- •3. Визначення арифметичних дій над додатними раціональними числами
- •Закони додавання і множення
- •5. Упорядкованість множини додатних раціональних чисел
- •6. Запис додатних раціональних чисел у вигляді десяткових дробів
- •§ 11. Дійсні числа та дії над ними
- •1. Несумірні відрізки і ірраціональні числа. Невід’ємні дійсні числа
- •2. Арифметичні дії над дійсними невід’ємними числами. Їхні властивості
- •Від’ємні числа. Множина дійсних чисел
- •Питання для самоконтролю
- •Система вправ
- •Розділ V рівності і нерівності, рівняння. Функції § 12. Математичні вирази. Рівності і нерівності
- •Алфавіт математичної мови
- •Числові вирази. Значення числового виразу
- •Вирази зі змінною
- •Тотожні перетворення виразів
- •Числові рівності, властивості істинних числових рівностей
- •Числові нерівності, властивості істинних числових нерівностей
- •§ 13. Рівняння та їх властивості. Нерівності, що містять змінну
- •Рівняння з однією змінною
- •Рівносильність рівнянь
- •Нерівності з однією змінною
- •Рівносильність нерівностей
- •§ 14. Функції, графіки та їх властивості
- •Поняття функції. Графік функції
- •2. Лінійна функція
- •3. Пряма пропорційність
- •Обернена пропорційність
- •Функціональна пропедевтика в початковій школі
- •Іі етап
- •Питання для самоконтролю
- •Система вправ
- •Розділ VI величини та їх властивості § 15. Поняття величини та її вимірювання
- •Поняття вимірювання величин. Основні властивості числових значень додатніх скалярних величин
- •Величини, що вивчаються в курсі математики і – іv класів
- •§ 16. Довжина відрізка, її властивості і вимірювання
- •§ 17. Площа фігури, її властивості і вимірювання
- •Щоб обчислити площу прямокутника, треба визначити його довжину і ширину та знайти добуток цих чисел.
- •§ 18. Об’єм тіла, його властивості і вимірювання
- •§ 19. Маса тіла і її вимірювання
- •§ 20. Час та його вимірювання
- •§ 21. Вартість та залежність між величинами: ціна, кількість, вартість
- •Питання для самоконтролю
- •Система вправ
- •Точка, пряма, їх властивості
- •Властивості:
- •Властивості:
- •3.2. Означеня кута
- •Властивості вимірювання кутів:
- •Види кутів
- •4. Трикутники
- •5. Коло, круг
- •6.Многокутники
- •Властивості паралелограма:
- •Властивості квадрата:
- •Властивості ромба:
- •7. Многогранники і тіла обертання
- •Питання для самоконтролю
- •Система вправ
- •Література
- •Джерела інформації
§ 2. Структура і види теорем
План
Структура теореми.
Види теорем.
Найпростіші схеми правильних міркувань.
1. Структура теореми
Теорема – це твердження, істинність якого доводять. Теорема містить умову і висновок.
А В
А – умова, В – висновок.
Можна сказати, що теорема – це висловлення про те, що з властивості А слідує властивість В. Істинність цього висловлення встановлюється шляхом доведення.
Не кожна ознака А, необхідна для В, є і достатньою, так само як і не кожна достатня ознака є необхідною. Наприклад, щоб число ділилось на 3, достатньо, щоб воно ділилось на 9, але це не є необхідною умовою, наприклад 6 3, але 6 не 9 (знак « » – знак подільності). Щоб число ділилось на 6, необхідно, щоб воно ділилось на 2, але цього не достатньо, необхідно також щоб воно ділилось і на 3. Отже, щоб число ділилось на 6, необхідно і достатньо, щоб воно ділилось і на 2, і на 3. За допомогою складеного висловлення символічно це можна записати так:
а 6 (а 2) (а 3).
Інакше а ділиться на 6 тоді і тільки тоді, коли а 2 і а 3.
Якщо і умова теореми, і її висновок є простими висловленнями, то теорема називається простою.
Якщо умова або висновок теореми, або і те, і друге – складені висловлення, то теорему називають складеною. Попередня теорема, що виражає ознаку подільності на 6, є складеною. Її можна записати у вигляді А В С. Тут умова є кон’юнкцією двох висловлень А і В, а висновок – висловлення С.
Приклад аналогічної структури теореми: «Якщо дві прямі площини перпендикулярні до третьої прямої, то вони паралельні між собою»
або (а с) ( в с) а ║в.
Приклад теореми, в якій і умова, і висновок є кон’юнкціями: «В паралелограмі протилежні сторони попарно рівні». Інакше: «Якщо чотирикутник – паралелограм (тобто протилежні сторони попарно паралельні), то його протилежні сторони попарно рівні».
Тобто (а║с) (b║d) ( a = c) (b = d)
До сталих компонентів структури теореми належать такі:
1 2 3
Роз’яснювальна
(вихідна) частина
Умова
Висновок
5 4
Набір
логіко-математичних операцій над
об’єктами 1, 2, 3
Квантори
загальності та існування -
Логічні операції
6
Структурна сталість компонентів 1, 2, 3 зумовлена тим, що питання про істинність теореми всіма розв’язується однозначно, набір же логічних операцій (4), послідовності їх використання можуть бути різними. Тут великі можливості для творчої розумової діяльності, для формування інтелектуальних умінь в процесі доведення теорем.