ПРЕПРИНТ
Эта статья является препринтом и не была отрецензирована.
О результатах, изложенных в препринтах, не следует сообщать в СМИ как о проверенной информации.
О результатах, изложенных в препринтах, не следует сообщать в СМИ как о проверенной информации.
Приложение к исследованию "Конституция РФ как источник аксиом частного права. Опыт логического вычисления". Листинг работы Е-программы (полный) с примечаниями автора.
2025-03-19
Листинг работы Е-программы содержит итоговую распечатку указанной программы и состоит из следующих разделов 1.Исходные посылки. 2.Список полученных следствий. 3.СТ-замыкание системы. 4.Система неполна. Список элементарных предложений, дополняющих систему. 5.Коллизии. Список предложений, вызывающих коллизию противоречия. 6.Диаграмма Хассе системы. 7.Минимальное множество бинарных посылок системы.
Ссылка для цитирования:
Бекбоев М. Т. 2025. Приложение к исследованию "Конституция РФ как источник аксиом частного права. Опыт логического вычисления". Листинг работы Е-программы (полный) с примечаниями автора. PREPRINTS.RU. https://doi.org/10.24108/preprints-3113453
Список литературы
