Диссертация - Расширение выразительный возможностей языка современной логики
Содержание
Содержание
стр
Введение 3
Глава 1. Логическая природа альтернативных величин 8
1.1. История выразительных возможностей языка математической (символической) логики 8
1.2. Свойства альтернативных величин 27
1.3. Понятие альтернативной величины в логике 46
1.4. Методы использования альтернативных величин в логике 53 Глава 2. Способы арифметизации языка современной логики 60
2.1. Базис арифметизированной логики 60
2.2. Расширение выразительных возможностей логики высказываний 110
2.3. Расширение выразительных возможностей логики предикатов 117
2.4. Порождающие схемы арифметизированной логики 124 Заключение 139 Библиография 146 Приложение к параграфу 2.2. 158
1. Таблица логических связок и их арифметизированных аналогов 158
Приложение к параграфу 2.4. 159
1. Программа универсальной формулы логики 159
2. Примеры программ (Excel) арифметизированных логических способов обработки информации 160
