м);
Обратные и противоположные предложения (обратные предложения, противоположные предложения, закон контрапозиции, достаточные и необходимые условия, структура определений);
Логическое следование (отношение следования между формулами логики высказываний, правильные и неправильные аргументы, сокращенный способ проверки аргументов, составление формул по заданным таблицам истинности, получение следствий из данных посылок);
Занимательная логика (танграм, оригами, решение занимательных логических задач).
Поурочное планирование:
1. Введение. Высказывания. Простые и составные высказывания.
2. Конъюнкция.
3. Дизъюнкция.
4. Отрицание.
5. Отрицание дизъюнкции и конъюнкции.
6. Импликация. Эквиваленция.
7. Отрицание импликации и эквиваленции.
8. Тавтологии.
9. Контрольная работа 1.
10. Законы логики.
11. Равносильные преобразования.
12. Выражение одних логических операций через другие.
13. Решение логических задач на применение законов логики.
14. Обратные и противоположные предложения.
15. Закон контрапозиции.
16. Доказательство от противного.
17. Достаточные и необходимые условия.
18. Структура определений.
19. Контрольная работа 2.
20. Предикаты (высказывательные формы), действия над предикатами.
21. Понятие множества, способы задания множеств.
22. Пересечение и объединение множеств.
23. Разность множеств, дополнение множества.
24. Перевод с языка логики на язык теории множеств. Диаграммы Эйлера – Венна, доказательство логических формул с помощью диаграмм.
25. Кванторы существования и всеобщности.
26. Отрицание высказываний, содержащих кванторы (случай конечного универсального множества).
27. Кванторы существования и всеоб
Страницы: << < 1 | 2 | 3 | 4 > >>