ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Предложенный Н.П. Брусенцовым метод анализа логических отношений основан на их выражении конъюнкцией суждений существования. Выражения булевой алгебры f(x1, …, xn), g(x1,…,xn) над некоторым набором переменных понимаются в логике Брусенцова как характеристики исследуемых объектов. Имеются два оператора V и V', посредством которых строятся суждения существования. Метод Брусенцова позволяет получать логические выводы из набора суждений, а в случае отсутствия вывода находить условия, необходимые для его наличия. Программная реализация данного метода требует исследования свойств выражений суждений существования. Данный доклад посвящен некоторым из них.