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

modus ponens 84

импликанта 60

инъекция 40

специальное бинарное отношение

нестрогий порядок 36

рефлексивное 34

строгий порядок 36

эквивалентность 36

сюръекция 40

алгебра 45

алгебраическая структура 45

ассоциативность 43

бинарное отношение

область значений 28

область определения 28

обратное 29

специальное 33

способы задания 27

тождественное 33

функциональное 40

булева

алгебра 52

булевы функции

длина 53

высказывание

78

истинностное значение 78

простое 78

сложное 79

гипотеза 83

гомоморфизм 45

диаграммы Венна 22

дистрибутивность 43

ДНФ

минимальная 61

совершенная 56

сокращенная 60

тупиковая 60

доказательство

120

аргументы 120

контрапозиция 120

от противного 120

прямое 120

разделительное (метод исключения) 120

способ 120

тезис 120

закон достаточного основания 119

закон исключения третьего 119

закон непротиворечия 119

закон тождества 119

законы логики

Аристотеля 110

идемпотентность 43

изоморфизм 46

категорический силлогизм 110

большая посылка 110

заключение 110

малая посылка 110

правила 110

правильный 110

фигуры 111

Квайна

метод минимизации 64

таблица 66

квантификация 91

квантор 90

всеобщности 90

область действия 91, 95

существования 91

классы Поста 73

коммутативность 43, 45

композиция бинарных отношений 29

конституента

единицы 55

нуля 56

логическая функция

выполнимая 50

ДНФ 53

импликанта 60

линейная 74

минимальная ДНФ 61

монотонная 74

область определения 48

простая импликанта 60

самодвойственная 73

СДНФ 56

СКНФ 57

Сокр. ДНФ 60

сохраняющая 0 73

сохраняющая 1 73

способы задания 48

таблица истинности 48

тавтология 49

ТЛФ 50

УЛФ 50

методы минимизации логических функций

метод карт Карнапа 70

метод Квайна 65

множество 18

бесконечное 18, 41

булеан 19

конечное 18

мощность 41

отношение N-местное 26

полностью упорядоченное 36

прообраз 29

пустое 19

способы задания

перечислением 18

характеристическим свойством 18

счетное 41

универсальное 19

частично упорядоченное 36

модель 45

неполное склеивание 64

обобщенное склеивание 65

образ множества 29

операции

над высказываниями 79

операции над множествами

декартова степень 25

дополнение 20

объединение 20

пересечение 20

прямое произведение 25

разность 20

симметрическая разность 20

операция 43

арность 43

бинарная 43

свойства 43

унарная 43

основное множество алгебры 45

отношение

бинарное 26, 27

унарное 26

переменная

свободная 91

связанная 91

поглощение 64

подмножество 19

несобственное 19

собственное 19

полином Жегалкина 74

посылка 83

предикат 90

приоритет операций

логических 51

теории множеств 20

прообраз множества 29

равенство

множеств 19

функций 41

равные

логические функции 49

рассуждение

114

дедуктивное 114

индуктивное 114

недедуктивное 114

СДНФ 56

система функций

базис 76

независимая 76

полная 73

СКНФ 57

следствие 83

совокупность 18

способы задания множеств 18

суждение 104

суперпозиция функций 42

теорема 83

необходимое условие 121

о дедукции

для ИВ 86

для предикатов 122

теоремы

120

взаимно обратные 120

взаимно противоположные 121

ТИФ 80

ТЛФ 80

УИФ 80

УЛФ 80

формальная аксиоматическая теория

83

вывод 83

выводимая формула 83

доказательство 84

доказуемая формула 84

непротиворечивая 84

полная 84

теорема 83

формула

выполнимая 96

выполнимая в модели 96

истинная в модели 96

ложная в модели 96

нормальная форма 100

общезначимая 96

опровержимая 96

приведенная форма 100

противоречивая 96

формулы равносильные

в логике 98

в модели 98

на множестве 98

функционально полные системы 52

функция

биекция 40

всюду определенная 40

инъекция 40

композиция 42

логическая 48

обратная 42

отображение A в B 40

подстановка 42

сюръекция 40

характеристическая функция множества 41

эквивалентные

преобразования логических функций

правило подстановки 51

соотношения

для логических функций 51

логики предикатов 99

теории множеств 23

элементарное произведение 53