ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Строится формальная система, предназначенная для логического анализа суждений существования. В ее языке содержится неопределенно-местная константа существования, простые формулы образуются сочленением этой константы с произвольной конечной последовательностью общих терминов. Предлагается аналитико-табличный вариант этой логики, формулируется разрешающая процедура.