Заключение

1. Впервые в мире Порецким П.С. выполнено аналитическое описание общеутвердительного и общеотрицательного функторов .

2. >Впервые в мире Порецким П.С. дано аналитическое решение силлогизмов и соритов общего характера.

3. >Методы решения логических равенств по-Порецкому эффективны, но имеют определённые ограничения частного характера.

4. Все перечисленные ограничения снимаются при использовании четырёхзначной логики и применении скалярных диаграмм.

Литература

1. Стяжкин Н.И. Формирование математической логики. - М:1967.

2. Порецкий П.С. О способах решения логических равенств и об одном обратном способе математической логики. - Казань,1881.

3. Лобанов В.И. Многозначная силлогистика без кванторов.//Научно-техническая информация.Сер.2.N%10,1998,с.27-36.

4. Лобанов В.И. Решение логических уравнений.//Научно-техническая информация.Сер.2.N%9,1998,с.34-40.

5. Лобанов В.И. Практикум по логике суждений. //Информатика и образование,№2,2001.

6. Лобанов В.И. Инженерные методы разработки цифровых устройств.- М:1977(шифр Центр.Политехн.Библиотеки - W145 4/231)(шифр библ. НИИРТА - 62-507/Л68).

7. V. I. Lobanov. The solution of logical equations. // Documentation and Mathematical Linguistics, vol. 32, №5,1998, p. 16 -34 .

8. V. I. Lobanov. Many-valued quantifier-free syllogism (second basis). // Documentation and Mathematical Linguistics, vol. 32, №5,1998, p. 27 -40

9. Левченков В.С. Булевы уравнения. - М.:1999.