RUS  ENG
Полная версия
ЖУРНАЛЫ // Вычислительные методы и программирование // Архив

Выч. мет. программирование, 2003, том 4, выпуск 3, страницы 28–33 (Mi vmp736)

Геометрическая интерпретация пропозициональных формул

В. В. Суворов

Научно-исследовательский вычислительный центр Московского государственного университета имени М. В. Ломоносова

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

Ключевые слова: пропозициональные формулы; геометрическая интерпретация; логический анализ; инструментальные средства; логические аксиомы.

УДК: 510.662



© МИАН, 2025