Re: Ответ (1) ↑

bavi 26 марта 2016, 00:31 в посте Metapractice (оригинал в ЖЖ)

Хорошо.

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

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

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