Re: Ответ (1)  ↑

Хорошо.

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

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

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

Общие посылки для начинающих - да.

Скорее, наши начинающие в книги Кэрролла не заглянут - так что надо будет, здесь или в новом проходе данной темы дать вводную текстовую информацию по интерпретации и заполнению графических матриц.