- •Математическая логика и теория алгоритмов
- •11. Понятие об алгоритмах. Схемы алгоритмов
- •11.1. Понятие об алгоритме и теории алгоритмов
- •11.2. Схемы алгоритмов
- •11.3. Рекурсивные функции
- •11.4. Машина Тьюринга
- •11.5. Машина Поста
- •11.6. Нормальные алгорифмы а.А. Маркова
- •11.7. Универсальная абстрактная машина
- •11.8. Разрешимость в теории алгоритмов. Проблема самоприменимости
- •11.9. Сложность алгоритма
- •11.10. Представление схемы алгоритма эквивалентным автоматом
- •11.11. Представление схемы алгоритма микропрограммой с двумя типами микрокоманд
- •12. Элементы формальной логики
- •12.1. Предмет формальной логики
- •12.2. Понятие и его виды
- •12.3. Отношения между понятиями
- •12.4. Операции над понятиями
- •12.5. Суждение и его характеристика
- •Модальные и категорические суждения.
- •Простые категорические суждения.
- •Виды простых категорических суждений.
- •Распределение терминов в простом категорическом суждении.
- •Логический квадрат.
- •13. Умозаключение
- •13.1. Виды умозаключений
- •13.2. Непосредственное умозаключение
- •Умозаключения путем противопоставления предикату.
- •13.3. Опосредованное дедуктивное умозаключение. Фигуры силлогизма
- •Фигуры пкс.
- •Модусы пкс.
- •13.4. Дополнительные виды силлогизмов
- •13.5. Индуктивные умозаключения. Математическая индукция
- •14. Логика высказываний
- •14.1. Семантика логики высказываний
- •I закон – тождества.
- •14.3. Формализация высказываний
- •14.4. Интерпретации, разрешимость, выполнимость, общезначимость
- •14. 5. Логическая равносильность. Законы логики
- •14.6. Формы представления формул логики высказываний
- •14.7. Проблема дедукции в логике высказываний
- •15. Проверка правильности логических выводов. Метод резолюций
- •15.1. Закон контрапозиции
- •15.2. Логическое следование. Проверка правильности логических выводов
- •15.3. Силлогизмы в логике высказываний
- •Разделительно-категоричные силлогизмы.
- •16. Синтаксис и семантика языка логики предикатов
- •16.1. Понятие предиката
- •16.2. Кванторы и связанные переменные
- •16.3. Синтаксис языка логики предикатов. Формулы логики предикатов и формализация суждений
- •16.4. Семантика формул логики предикатов
- •Общезначимость, выполнимость, невыполнимость.
- •17. Тождественные преобразования формул логики предикатов
- •17.1. Операции над предикатами
- •17.2. Основные равносильности логики предикатов
- •Отрицание предложений с кванторами.
- •17.3. Тождественные преобразования формул
- •17.4. Универсум Эрбрана
- •18. Использование метода резолюций в логике предикатов
- •18.1. Подстановка и унификация
- •18.2. Резольвенция и факторизация
- •18.3. Метод резолюций в логике предикатов
- •18.4. Принцип логического программирования
- •19. Логические исчисления
- •19.1. Понятие о формальных теориях
- •19.2. Исчисление высказываний
- •19.3. Исчисление предикатов
- •19.4. Система натурного вывода
- •19.5. Понятие о математической лингвистике
- •19.6. Формальный язык
- •19.7. Формальные грамматики и их свойства
- •19.8. Теоремы Гёделя
- •20. Неклассические логики
- •20.1. Современные модальные логики
- •20.2. Понятие о теории неопределенности
- •20.3. Элементы теории нечетких множеств и нечеткая логика
- •20.4. Нечеткие алгоритмы
- •Литература
- •Приложение 1 Варианты контрольных заданий по дисциплине «Дискретная математика»
- •Приложение 2 Варианты контрольных заданий по дисциплине «Математическая логика»
12.2. Понятие и его виды
Понятие – это абстрактный образ класса сходных объектов, в котором фиксируются наиболее общие свойства и признаки.
При формировании понятий используются методы обработки информации: анализ, синтез, сравнение, обобщение, абстрагирование, идеализация. В результате формируются идеальные образы – понятия. Понятие непосредственно связано со словом.
Связь объект-понятие возникает не сразу. Понятие двойственно (слово и объект) [8]. Понятием могут быть имена существительные и другие части речи.
Содержание понятия – совокупность тех свойств и признаков, которые были выделены в качестве основных в процессе образования понятий.
Объем понятия – это мыслимая совокупность элементов, выступающих носителем свойств и признаков.
Изменяя содержание понятия, мы влияем на его объем. Увеличивая число признаков, объем понятия сокращается. Эта связь фиксируется в логике законом обратного соотношения между содержанием и объемом понятия.
Виды понятий.
Понятия классифицируются по объему:
единичные – одноэлементный класс («Президент России В.В. Путин»);
общие – класс, содержащий более одного элемента. Среди общих выделяют понятия, являющиеся универсумом;
пустые – класс, соответствующий пустому множеству («Король России»).
Понятия классифицируются по содержанию:
конкретные – задают некоторый класс материальных или идеальных объектов;
абстрактные – отражают некоторые свойства и признаки материальных или идеальных объектов в отрыве от их носителей, которые становятся некими самостоятельными сущностями (честность, храбрость);
относительные – понятия, в которых мыслятся предметы, существование которых предполагает наличие других предметов («обучаемый» – «обучающий»);
безотносительные («математика», «дом»);
положительные – характеризуют наличие некоторого свойства («живущий по средствам»);
отрицательные – в которых признаки положительных понятий отрицаются («живущий не по средствам»);
собирательные – группа однородных предметов, мыслимое как единое целое («созвездие»);
несобирательные – можно отнести к отдельному предмету. Несобирательные понятия называют разделенными.
12.3. Отношения между понятиями
Если в содержании некоторых понятий имеются общие признаки, то они совместные, иначе несовместные [8, 16].
Отношения между понятиями могут быть изображены диаграммами Эйлера, на которых вместо множеств рисуют понятия на некотором универсуме рассуждения U.
Между совместными понятиями складываются следующие отношения.
Совпадения или тождества (рис. 104).
Рис. 104. Совпадение понятий А, В
Включения или подчинения (рис. 105).
Рис. 105. Понятие A включается в объем понятия B
В – родовое понятие, А – видовое понятие.
Пересечения (рис. 106).
Рис. 106. Понятие A пересекается с понятием B
Между несовместными понятиями складываются следующие отношения.
Соподчинения или координации (рис. 107).
Рис. 107. Понятия A и B соподчинены понятию С
Исключения или контрарности (рис. 108).
Рис. 108. Контрарность понятий A и B
Противоречия или контрадикторности (рис. 109).
Рис. 109. Противоречие понятий A и B
Над объёмами понятий возможно проведение булевых операций подобных операциям над множествами.