Предметный указатель

Аксиомы исчисления высказываний, 45, 49

Алгебра высказываний, 7

Алгебра предикатов, 92

Алгоритм вывода по принципу резолюции, 69

Алгоритм преобразования ДНФ к виду СДНФ, 42

Алгоритм преобразования КНФ к виду СКНФ, 43

Алгоритм приведения к нормальной форме, 41

Алгоритм приведения формулы к виду ПНФ,103

Алгоритм Сколема,108

Атом, 92

Выполнимые формулы ,46, 113

Высказывание, 5, 78

Высказывательная функция, 85

Дедуктивный вывод, 49

Дизъюнкт, 41

Дизъюнктивная нормальная форма формулы, 39

Заключение, 7

Законы алгебры высказываний, 29

ассоциативности, 30

де Моргана, 30

дистрибутивности, 30

дополнения, 30

идемпотентности, 30

исключенного третьего, 30

коммутативности, 30

поглощения, 30

противоречия, 30

Законы алгебры предикатов, 100

ассоциативности, 100

де Моргана, 100

дистрибутивности, 100

дополнения, 100

идемпотентности, 100

исключенного третьего, 100

коммутативности, 100

Интерпретация формул, 45, 109

Исчисление высказываний, 45

Исчисление предикатов,109

Квантор всеобщности, 87

Квантор существования, 86

Квантор, 86

Контрарные атомы, 69

Конъюнктивная нормальная форма формулы, 39

Линейный вывод, 128

Логика высказываний, 4

Логика предикатов,85

Логическая операция, 7

              -бинарная, 16

-дизъюнкция, 8,10,27, 94

-импликация, 8,12, 95

-конъюнкция, 8,9,27, 93

-отрицание, 8,9,26, 93

- унарная, 16

Логическая связка,8

Логическое программирование, 135

Метод дедуктивного вывода, 59, 118

Нормальные формы формул, 39

Общее суждение, 87

Посылка, 7

Правила введения и удаления кванторов, 115

Правила введения и удаления логических связок,53

Правила заключения, 58, 117

Предваренная нормальная форма, 103

Правила подстановки, 52, 114

Предикат, 85

          -одноместный, 89

          n-местный, 89

Предикатный символ, 92

Предметные переменные, 85

Предметные постоянные, 85

Принцип резолюции, 68,126

Проблема непротиворечивости исчисления высказываний,78

Проблема непротиворечивости исчисления предикатов, 135

Проблема разрешимости исчисления высказываний, 77

Проблема разрешимости исчисления предикатов, 134

                    Пропозициональная переменная, 5

Пропозициональная связка,6

Пропозициональная формула, 8

Резольвента, 69

Свободная переменная.,89

Связанная переменная, 89

Сколемовская стандартная форма,108

Сколемовская функция, 108

Совершенные дизъюнктивные нормальные формы, 42

Совершенные конъюнктивные нормальные формы, 42

Таблицы истинности, 9,16

Терм,92

Тождественно истинные формулы, 45, 112

Тождественно ложные формулы, 46,113

Упорядоченный дизъюнкт,128

Факты,78, 135

Формула, 7

               -замк­нутая, 111

-открытая, 112

-равносильные, 29, 99

-эквивалентные, 29

Функциональный символ, 92

Частное суждение, 86

Эквивалентные преобразования, 32

Эквиваленция, 8,14, 96

Элементарная формула, 92