- •Предисловие
- •Глава1. Логика классическая
- •1.1. Логика высказываний
- •1.1.1. Алгебра высказываний
- •1.1.1.2. Правила записи сложных формул
- •1.1.1.3. Законы алгебры высказываний
- •1.1.1.4. Эквивалентные преобразования формул
- •1.1.1.5. Нормальные формы формул
- •1.1.2. Исчисление высказываний
- •1.1.2.1. Интерпретация формул
- •1.1.2.2. Аксиомы исчисления высказываний
- •1.1.2.3. Метод дедуктивного вывода
- •1.1.2.4. Метод резолюции
- •Вопросы и задачи
- •Расчетно-графическая работа
- •1. 2. Логика предикатов
- •1.2.1. Алгебра предикатов
- •1.2.1.1. Логические операции
- •1.2.1.2. Правила записи сложных формул
- •1.2.1.3. Законы алгебры предикатов
- •1.2.1.4. Эквивалентные преобразования формул
- •1.2.1.2. Предварённая нормальная форма
- •1.2.1.3. Сколемовская стандартная форма
- •1.2.2. Исчисление предикатов
- •1.2.2.1. Интерпретация формул
- •1.2.2.2. Аксиомы исчисления предикатов
- •1.2.2.3. Правила унификации предикатов
- •1.2.2.4. Метод дедуктивного вывода
- •1.2.2.5. Метод резолюции
- •1.2.3. Логическое программирование
- •1.2.3.1. Основы логического программирования*
- •1.2.3.2. Подготовка среды Visual Prolog для работы
- •1.2.3.3. Описание логических задач на языке Prolog
- •Вопросы и задачи
- •Расчетно-графическая работа
- •Формула
- •1.3. Логика реляционная
- •1.3.1. Реляционная алгебра*
- •1.3.1.1. Унарные операции
- •1.3.1.2. Бинарные операции
- •1.3.2. Реляционное исчисление*
- •1.3.3. Языки реляционной логики
- •Вопросы и задачи
- •Расчетно-графическая работа
- •Глава 2. Неклассическая логика
- •2.1. Нечёткая логика
- •2.1.1. Нечёткие множества
- •2.1.2. Нечёткая алгебра
- •2.1.2.1. Операции над нечёткими множествами
- •2.1.2.2. Законы нечёткой алгебры
- •2.1.2.3. Свойства нечётких отношений
- •4.4.2. Экспертные системы
- •Вопросы и задачи
- •Расчетно-графическая работа
- •2.2. Модальная логика
- •2.2.1. Темпоральная (или временнáя) логика*.
- •Ответы и решения
- •Литература
- •Предметный указатель
Вопросы и задачи |
201 |
Вопросы и задачи
2.1.1 Дано универсальное множество U = { u1, u2, u3,
u4 , u5 , u6 , u7, u8} и множества A’={1/u1, 0,1/u2, 0,2/u3, 0,3/u4, 0,4/u5} и B’={0,1/u1, 0,2/u2, 0,3/u6, 0,6/u7, 0,8/u8}. Вы-
полнить операции a) объединения, b) пересечения, c) дополнения, d) разности и e)симметрической разности.
2.1.2. Выполнить алгебраические операции a) объединения, b) пересечения, c) дополнения, d) разности и e)
симметрической разности. |
|
|
|
|
|
||||||||
над нечёткими соответствиями h1 и h2: |
|
||||||||||||
|
h’1 |
y1 |
y2 |
y3 |
y4 |
y5 |
|
h’2 |
y1 y2 |
y3 |
y4 |
y5 |
|
|
x1 |
0, |
0, |
0, |
0, |
0, |
|
x1 |
0, |
0, |
0, |
0, |
0, |
|
|
2 |
4 |
6 |
2 |
4 |
|
|
4 |
2 |
8 |
2 |
4 |
|
x2 |
0, |
0, |
0, |
0, |
0, |
|
x2 |
0, |
0, |
0, |
0, |
0, |
|
|
3 |
5 |
7 |
5 |
3 |
|
|
5 |
7 |
3 |
7 |
5 |
|
x3 |
0, |
0, |
0, |
0, |
0, |
|
x3 |
0, |
0, |
0, |
0, |
0, |
|
|
2 |
5 |
4 |
5 |
2 |
|
|
5 |
2 |
6 |
2 |
5 |
|
x4 |
0, |
0, |
0, |
0, |
0, |
|
x4 |
0, |
0, |
0, |
0, |
0, |
|
|
3 |
6 |
9 |
6 |
3 |
|
|
4 |
7 |
8 |
7 |
4 |
2.1.3. Выполнить композицию нечёткого множества
X’={1/x1, 0,1/x2, 0,2/x3, 0,3/x4} и соответствия h’, заданного таблицей:
|
h’ |
y1 |
y2 |
y3 |
y4 |
y5 |
||||||
|
x1 |
0,2 |
0,4 |
0,6 |
0,2 |
0,4 |
|
|
||||
|
x2 |
0,3 |
0,5 |
0,7 |
0,5 |
0,3 |
|
|
||||
|
x3 |
0,2 |
0,5 |
0,4 |
0,5 |
0,2 |
|
|
||||
|
x4 |
0,3 |
0,6 |
0,9 |
0,6 |
0,3 |
|
|
||||
2.1.4. Выполнить композицию двух нечётких |
||||||||||||
соответствий h1 и h2, заданных таблицами: |
||||||||||||
|
|
h’1 |
y1 y2 y3 |
|
h’2 |
z1 z2 z3 z4 |
|
202 |
|
|
Математическая логика |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
x1 |
1, |
0, |
0, |
y1 |
0, |
0, |
0, |
0, |
||
|
|
0 |
8 |
2 |
|
|
3 |
3 |
5 |
2 |
|
|
x2 |
0, |
1, |
0, |
|
y2 |
0, |
0, |
0, |
0, |
|
|
|
2 |
0 |
4 |
|
|
2 |
2 |
4 |
3 |
|
|
x3 |
0, |
1, |
0, |
|
y3 |
0, |
0, |
0, |
0, |
|
|
|
0 |
0 |
3 |
|
|
1 |
3 |
2 |
6 |
|
|
x4 |
0, |
0, |
0, |
|
|
|
|
|
|
|
|
|
2 |
9 |
5 |
|
|
|
|
|
|
|
|
x5 |
0, |
0, |
1, |
|
|
|
|
|
|
|
|
|
3 |
7 |
0 |
|
|
|
|
|
|
|
2.1.5. Выполнить алгебраические операции a) объединения, b) пересечения, c) дополнения, d) разности и e) симметрической разности и f) композиции над r’1 и r’2:
r’1 |
x1 x2 x3 x4 x5 r’2 |
x1 x2 x3 x4 x5 |
||||
x1 |
1 0,30,20,10,4 |
|
x1 |
1 |
0,20,80,20,4 |
|
x2 0,3 1 0,70,50,3 |
x2 |
0, |
1 0,80,70,2 |
|||
|
|
|
|
5 |
|
|
x3 |
0,20,5 1 0,50,2 |
x3 |
0, |
0,2 1 0,20,5 |
||
|
|
|
|
2 |
|
|
x4 |
0,70,50,9 1 0,3 |
x4 |
0, |
0,70,8 1 0,4 |
||
|
|
|
|
4 |
|
|
x5 |
0,60,70,20,3 1 |
|
x5 |
0, |
0,10,50,4 1 |
|
|
|
|
|
1 |
|
|
Расчетно-графическая работа |
203 |
Расчетно-графическая работа
1)По отношениям r’1 и r’2 согласно заданию варианта нарисовать таблицы, содержащие четыре столбца и четыре
строки, удалив из таблиц r’1 и r’2 четыре пары (столбец, строка),
2)выполнить операции (r’1 r’2), (r’1∩r’2), (r’1\r’2), (r’1°r’2),
3)включено ли отношение r’1 в отношение r’2 или наоборот?
2)какими свойствами обладают r’1 и r’2 и какому классу отношений они могут принадлежать?
|
r’ |
|
x1 x2 x3 x4 x5 x6 x7 x8 |
r’2 |
|
x1 x2 x3 x4 x5 x6 x7 x8 |
||||||||||||||||
x1 |
|
|||||||||||||||||||||
|
0 0 0 0 0 0 0 0 x1 |
|
0 0 0 0 0 0 0 0 2 |
|||||||||||||||||||
x2 |
|
0 0 0 0 0 0 0 0 |
x2 |
|
0 0 0 0 0 0 0 0 4 |
|||||||||||||||||
x3 |
|
0 0 0 0 0 0 0 |
0, |
|
x3 |
|
0 0 0 0 0 0 0 0 4 |
|||||||||||||||
x4 |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
x4 |
|
0 0 0 0 0 0 0 0 2 |
|||||||||
x5 |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
x5 |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 0 4 |
|||
x6 |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
x6 |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 0 2 |
|||
x7 |
|
0, 0 0 0 0 0 0 0 x7 |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 0 8 |
||||||||||||
x8 |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
x8 |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 0 7 |
|||
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- |
|
|
Удалить (столбец, |
- |
|
|
|
Удалить (столбец, |
|||||||||||||
|
Вари |
|
|
ант |
|
|||||||||||||||||
|
|
|
|
|
строка) |
|
|
|
|
|
|
строка) |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
1 |
|
|
для r1: (3, 1), (4, 2), (7, |
26 |
|
для r1: (1, 5), (4, 2), (7, |
|||||||||||||||
|
|
|
|
5), (8, 6); |
|
|
|
|
|
|
|
|
3), (8, 7); |
|
|
|
||||||
|
|
|
|
для r2: (3, 1), (4, 2), (7, |
|
|
|
для r2: (1, 5), (4, 4), (7, |
||||||||||||||
|
|
|
|
5), (8, 6) |
|
|
|
|
|
|
|
|
7), (8, 8) |
|
|
|
||||||
|
2 |
|
|
для r1: (3, 1), (4, 3), (7, |
27 |
|
для r1: (1, 5), (4, 2), (7, |
|||||||||||||||
|
|
|
|
7), (8, 8); |
|
|
|
|
|
|
|
|
3), (8, 7); |
|
|
|
204 |
Математическая логика |
||||
|
|
|
|
|
|
|
для r2: (3, 1), (4, 3), (7, |
|
для r2: (1, 5) (4, 4), (7, |
||
|
7), (8, 8) |
|
|
6), (8, 8) |
|
3 |
для r1: (3, 1), (4, 1), (7, |
28 |
для r1: (1, 5), (4, 2), (7, |
|
|
|
5), (8, 8); |
|
|
3), (8, 7); |
|
|
для r2: (3, 1), (4, 1), (7, |
|
для r2: (1, 5), (4, 4), (7, |
|
|
|
5), (8, 8) |
|
|
5), (8, 8) |
|
4 |
для r1: (3, 1), (4, 5), (7, |
29 |
для r1: (1, 5), (4, 2), (7, |
|
|
|
6), (8, 8); |
|
|
3), (8, 7); |
|
|
для r2: (3, 1), (4, 5), (7, |
|
для r2: (1, 5), (4, 4), (7, |
|
|
|
6), (8, 8) |
|
|
5), (8, 7) |
|
5 |
для r1: (3, 1), (4, 6), (7, |
30 |
для r1: (1, 5), (4, 2), (7, |
|
|
|
6), (8, 7); |
|
|
3), (8, 7); |
|
|
для r2: (3, 1), (4, 6), (7, |
|
для r2: (1, 5), (4, 4), (7, |
|
|
|
6), (8, 7) |
|
|
5), (8, 6) |
|
6 |
для r1: (3, 2), (4, 2), (7, |
31 |
для r1: (1, 4), (4, 2), (7, |
|
|
|
6), (8, 8); |
|
|
3), (8, 6); |
|
|
для r2: (3, 2), (4,2), (7, |
|
для r2: (1, 4), (4, 4), (7, |
|
|
|
6), (8, 8) |
|
|
7), (8, 8) |
|
7 |
для r1: (3, 2), (4, 2), (7, |
32 |
для r1: (1, 4), (4, 2), (7, |
|
|
|
6), (8, 8); |
|
|
3), (8, 6); |
|
|
для r2: (3, 2), (4, 2), (7, |
|
для r2: (1, 4), (4, 4), (7, |
|
|
|
6), (8, 8) |
|
|
6), (8, 8) |
|
8 |
для r1: (3, 2), (4, 4), (7, |
33 |
для r1: (1, 4), (4, 2), (7, |
|
|
|
6), (8, 8); |
|
|
3), (8, 6); |
|
|
для r2: (3, 2), (4, 4), (7, |
|
для r2: (1, 4), (4, 4), (7, |
|
|
|
6), (8, 8) |
|
|
5), (8, 8) |
|
9 |
для r1: (3, 2), (4, 4), (7, |
34 |
для r1: (1, 4), (4, 2), (7, |
|
|
|
6), (8, 8); |
|
|
3), (8, 6); |
|
|
для r2: (3, 2), (4, 4), (7, |
|
для r2: (1, 4), (4, 4), (7, |
|
|
|
6), (8, 8) |
|
|
5), (8, 7) |
|
|
Расчетно-графическая работа |
205 |
||||
|
|
|
|
|
|
|
10 |
для r1: (3, 2), (4, 2), (7, |
35 |
для r1: (1, 4), (4, 2), (7, |
|
||
|
6), (8, 8); |
|
|
3), (8, 6); |
|
|
|
для r2: (3, 2), (4,2), |
(7, |
|
для r2: (1, 4), (4, 4), (7, |
|
|
|
6), (8, 8) |
|
|
5), (8, 6) |
|
|
11 |
для r1: (3, 3), (4, 4), (7, |
36 |
для r1: (1, 3), (2, 2), (5, |
|
|
|
|
5), (8, 8); |
|
|
7), (6, 8); |
|
|
|
для r2: (3, 3), (4, 4), (7, |
|
для r2: (1, 8), (2, 5), (5, |
|
|
|
|
5), (8, 8) |
|
|
6), (6, 8) |
|
|
12 |
для r1: (3, 3), (4, 3), (7, |
37 |
для r1: (1, 8), (2, 2), (5, |
|
|
|
|
6), (8,7); |
|
|
7), (6, 8); |
|
|
|
для r2: (3, 3), (4, 3), (7, |
|
для r2: (1, 8), (2, 5), (5, |
|
|
|
|
6), (8, 7) |
|
|
3), (6, 8) |
|
|
13 |
для r1: (3, 3), (4, 4), (7, |
38 |
для r1: (1, 8), (2, 2), (5, |
|
|
|
|
6), (8, 8); |
|
|
7), (6, 8); |
|
|
|
для r2: (3, 3), (4, 4), (7, |
|
для r2: (1, 8), (2, 2), (5, |
|
|
|
|
6), (8, 8) |
|
|
3), (6, 8) |
|
|
14 |
для r1: (3, 3), (4, 5), (7, |
39 |
для r1: (1, 8), (2, 2), (5, |
|
|
|
|
5), (8, 8); |
|
|
7), (6, 8); |
|
|
|
для r2: (3, 3), (4, 5), (7, |
|
для r2: (1, 8), (2, 2), (5, |
|
|
|
|
5), (8, 8) |
|
|
1), (6, 8) |
|
|
15 |
для r1: (3, 3), (4, 6), (7, |
40 |
для r1: (1, 8), (2, 2), (5, |
|
|
|
|
7), (8, 8); |
|
|
7), (6, 8); |
|
|
|
для r2: (3, 3), (4, 6), (7, |
|
для r2: (1, 8), (2, 2), (5, |
|
|
|
|
7), (8, 8) |
|
|
1), (6, 7) |
|
|
16 |
для r1: (3, 4), (4, 7), (7, |
41 |
для r1: (1, 7), (2, 2), (5, |
|
|
|
|
7), (8, 8); |
|
|
7), (6, 8); |
|
|
|
для r2: (3, 4), (4, 7), (7, |
|
для r2: (1, 7), (2, 2), (5, |
|
|
|
|
7), (8, 8) |
|
|
3), (6, 7) |
|
|
17 |
для r1: (3, 4), (4, 4), (7, |
42 |
для r1: (1, 7), (2, 2), (5, |
|
|
|
|
4), (8, 8); |
|
|
7), (6, 8); |
|
|
206 |
Математическая логика |
||||
|
|
|
|
|
|
|
для r2: (3, 4), (4, 4), (7, |
|
для r2: (1, 7), (2, 2), (5, |
||
|
4), (8, 8) |
|
|
7), (6, 6) |
|
18 |
для r1: (3, 4), (4, 4), (7, |
43 |
для r1: (1, 7), (2, 2), (5, |
|
|
|
5), (8, 8); |
|
|
7), (6, 8); |
|
|
для r2: (3, 4), (4, 4), (7, |
|
для r2: (1, 7), (2, 5), (5, |
|
|
|
5), (8, 8) |
|
|
6), (6, 7) |
|
19 |
для r1: (3, 4), (4, 7), (7, |
44 |
для r1: (1, 7), (2, 2), (5, |
|
|
|
5), (8, 8); |
|
|
7), (6, 8); |
|
|
для r2: (3, 4), (4, 7), (7, |
|
для r2: (1, 7), (2, 6), (5, |
|
|
|
5), (8, 8) |
|
|
7), (6, 8) |
|
20 |
для r1: (3, 4), (4, 2), (7, |
45 |
для r1: (1, 7), (2, 2), (5, |
|
|
|
4), (8, 8); |
|
|
7), (6, 8); |
|
|
для r2: (3, 4), (4,2), (7, |
|
для r2: (1, 7), (2, 4), (5, |
|
|
|
4), (8, 8) |
|
|
7), (6, 8) |
|
21 |
для r1: (3, 5), (4, 8), (7, |
46 |
для r1: (1, 6), (2, 2), (5, |
|
|
|
3), (8, 8); |
|
|
7), (6, 8); |
|
|
для r2: (3, 5), (4, 8), (7, |
|
для r2: (1, 6), (2, 5), (5, |
|
|
|
3), (8, 8) |
|
|
7), (6, 8) |
|
22 |
для r1: (3, 5), (4, 8), (7, |
47 |
для r1: (1, 6), (2, 2), (5, |
|
|
|
6), (8, 8); |
|
7), (6, 8); |
|
|
|
для r2: (3, 5), (4, 8), (7, |
|
для r2: (1, 6), (2, 5), (5, |
|
|
|
6), (8, 8) |
|
|
7), (6, 8) |
|
23 |
для r1: (3, 5), (4, 8), (7, |
48 |
для r1: (1, 6), (2, 2), (5, |
|
|
|
5), (8, 8); |
|
|
7), (6, 8); |
|
|
для r2: (3, 5), 4, 8), (7, |
|
для r2: (1, 6), (2, 4), (5, |
|
|
|
5), (8, 8) |
|
|
7), (6, 8) |
|
24 |
для r1: (3, 5), (4, 4), (7, |
49 |
для r1: (1, 6), (2, 2), (5, |
|
|
|
3), (8, 8); |
|
|
7), (6, 8); |
|
|
для r2: (3, 5), (4, 4), (7, |
|
для r2: (1, 6), (2, 5), (5, |
|
|
|
3), (8, 8) |
|
|
5), (6, 8) |
|
|
Расчетно-графическая работа |
207 |
|||
|
|
|
|
|
|
25 |
для r1: (3, 5), (4, 4), (7, |
50 |
для r1: (1, 6), (2, 2), (5, |
|
|
|
5), (8, 6); |
|
7), (6, 8); |
|
|
|
для r2: (3, 5), (4, 4), (7, |
|
для r2: (1, 6), (2, 5), (5, |
|
|
|
5), (8, 6) |
|
5), (6, 7) |
|
|