ИСТИНА

В работах Н.П.Брусенцова по трехзначной логике исследована сущность фундаментального логического отношения необходимого следования и изучена возможность ее полноценного алгебраического выражения. В качестве убедительного аргумента в пользу трехзначной логики Брусенцов приводит ее применение для выражения силлогистики Аристотеля, в которой имеется адекватное выражение отношения следования x => y в виде общеутвердительной посылки «Все х есть у». Предложенный Брусенцовым трехзначный подход к алгебраизации силлогистики является шагом к воссозданию содержательной логики Аристотеля.