Профиль » Публикация

Аннотация Излагается метод логического анализа, основывающийся на геометрической интерпретации пропозициональных формул. Логическая формула представляется в виде единичного гиперкуба в ортогональном базисе с размерностью, равной местности формулы. Показывается, что анализ сечений куба по простым визуальным критериям позволяет достоверно выделять логические аксиомы. Обсуждается возможность построения в вычислительной среде инструментальных средств для выполнения истинностных оценок формул по зрительным критериям.