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