
- •Тема 1 элементы логики
- •1.1. Объем и содержание понятия
- •1.2. Отношение рода и вида между понятиями
- •1.3. Определение понятий
- •1.4. Математические предложения
- •1.5. Высказывания и высказывательные формы
- •1.6. Высказывания с кванторами
- •1.7. Отношения следования и равносильности
- •1.8. Умозаключения и их виды
- •1.9. Математическое доказательство
- •Опорный конспект к теме № 1 «элементы логики»
Опорный конспект к теме № 1 «элементы логики»
Вопросы для самоконтроля к теме №1
1. Какое свойство объекта называют существенным, а какое несущественным?
2. Что такое объем понятия и содержание понятия?
3. При каком условии понятия находятся в отношении рода и вида?
4. Назовите особенности отношения рода и вида между понятиями.
5. Какие понятия называются тождественными?
6. Что такое определение понятия?
7. Начертите схему явного определения через род и видовое отличие.
8. Сформулируйте правила явного определения через род и видовое отличие.
9. Какое определение называется:
• контекстуальным;
• остенсивным?
10. Что такое высказывание, а что такое высказывательная форма?
11. Когда предложения видов «А и В», «А или В», «Не А» истинны, а когда ложны?
12. Перечислите кванторы общности и кванторы существования. Как установить значение истинности предложений с различными кванторами?
13. Когда между предложениями имеется отношение следования, а когда отношение равносильности? Как они обозначаются?
14. Что такое умозаключение? Какое умозаключение называется дедуктивным?
15. Запишите при помощи символов правила заключения, правило отрицания, правило силлогизма.
16. Какие умозаключения называются неполной индукцией, а какие умозаключениями по аналогии?
17. Что значит доказать какое-либо утверждение?
18. Что такое математическое доказательство?
19. Дайте определение полной индукции.
20. Что такое софизмы?
Задания для самостоятельной работы к теме №1
1. Начертите три объекта, принадлежащие объему понятия:
• геометрическая фигура,
• прямоугольник,
• квадрат.
2. Назовите три существенных свойства понятия:
• треугольник,
• ромб,
• трапеция.
3. Назовите два понятия, которые находятся в отношении рода и вида. Сравните объемы и содержание этих понятий.
4. Приведите примеры явных и неявных определений. Выявите структуру явного определения через род и видовое отличие.
5. Приведите примеры истинных и ложных высказываний с логическими связками «и», «или», «не». Установите их значение истинности.
6. Приведите примеры истинных и ложных высказываний с кванторами общности и существования. Установите их значение истинности. Ответ обоснуйте.
7. Приведите примеры дедуктивных рассуждений по правилам заключения, отрицания, силлогизма.
8. Предложите высказывание (или найдите в школьных учебниках теорему) и докажите его истинность. Проведите логический анализ своего доказательства.
9. Найдите или придумайте софизмы и выявите ошибки в этих рассуждениях.