ИСТИНА

Н.П. Брусенцов предложил использовать в качестве основы компьютеризации рассуждения метод индексов Кэрролла, выражающий суждения силлогистики Аристотеля конъюнкциями суждений существования. Было установлено важнейшее условие выразимости всех имеющихся в силлогистике взаимосвязей - принцип сосуществования противоположностей. Предложенный вариант развития метода индексов Кэрролла позволяет оперировать посылками с произвольным количеством терминов. Доклад посвящен применению принципа сосуществования противоположностей для этих случаев, подробно ранее не рассматривавшийся.