Re: Ответ (1)  ↑

Хорошо.

Наверное, для понимания процесса начинающими можно общие посылки расписывать, например:
Все Х есть М
Некоторые M суть Y

так:
1) Ни один Х не есть не-М
2) Некоторые Х суть М
3) Некоторые М суть Y

и уже на схеме будет более понятно. Но это только первые 10-20 примеров, затем можно просто сопровождать посылки и вывод схемами. Типа свернуть этот процесс.