Логика высказываний. Логика предикатов. Реляционная логика (курсовая работа по дисциплине «Математическая логика и теория алгоритмов»)

Введение 5
1. Логика высказываний 6
2. Логика предикатов 14
3. Реляционная логика 20
4. Реализация метода приведения формулы к нормальным формам (КНФ, ДНФ) 27
4.1. Обоснование выбора структур данных 27
4.2. Описание алгоритма решения задачи 27
4.3. Описание пользовательского интерфейса 27
Заключение 29
Список литературы 30


1. Логика высказываний

Для каждой посылки и для заключения выполнить следующие действия: построить таблицу истинности, произвести минимизацию логи-ческой формулы, представить формулу в базисах и , построить КНФ, ДНФ, СКНФ, СДНФ. Для общей формулы: доказать истинность заключения с помощью построения дерева доказательства путем дедуктивного вывода (с построением графа дедуктивного вывода) и с помощью принципа резолюции (с построением графа вывода пустой резольвенты).

2. Логика предикатов

Преобразовать формулы к виду ПНФ и ССФ. Доказать истинность заклю-чения методом дедуктивного вывода (с построением графа дедуктивного вывода) и с помощью принципа резолюции (с построением графа вывода пустой резольвенты).


3. Реляционная логика

Для заданных отношений r1 и r2 выполнить следующие действия:
а) По заданным отношениям r1 и r2 нарисовать таблицы, удалив согласно варианту четыре пары (столбец, строка);
b) Выполнить бинарные операции , , , составить результирующие таблицы r';
c) Выполнить композицию двух операций, составить промежуточные и результирующие таблицы r';

Предварительный просмотр