Название
| Методика решения логических задач посредством исчисления конституентных множеств
|
---|
Авторы
|
|
---|
Ключевые слова
| логические задачи, логическое следование, логические уравнения, алгебраическая система, конституентные множества, алгебраическая онтология
|
---|
Секции
| Естественно-научные направления
|
---|
Аннотация
| В данной работе для постановки и решения логических задач используется модель на основе алгебраической системы с невырожденной булевой алгеброй, которая является базой для непарадокасальной пропозициональной логики, являющейся развитием логики классов П.С. Порецкого [1,5].
|
---|
Форма участия
| Очная
|
---|