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