х' или y' - значит не-Х или не-Y1.Ни один x не есть m.Ни одно m' не есть y.2.Ни один x' не есть m'.Все m' суть y.3.Некоторые x' суть m.Ни одно m не есть y.4.Все m суть x.Все m' суть y'.5.Все m' суть x.Все m' суть y'.6.Все x' суть m'.Ни один y' не есть m.7.Все x суть m.Все y' суть m'.8.Некоторые m' суть x'.Ни одно m не есть y.9.Все m суть x'.Ни одно m не есть y.10.Ни одно m не есть x'.Ни один y не есть m'.11.Ни один x' не есть m'.Ни одно m не есть y.12.Некоторые x суть m.Все y' суть m.13.Все x' суть m.Все m суть y.14.Некоторые x суть m'.Все m суть y.15.Ни одно m' не есть x'.Все y суть m.16.Все x суть m'.Ни один y не есть m.17.Некоторые m' суть x.Ни одно m' не есть y'.18.Все x суть m'.Некоторые m' суть y'.19.Все m суть x.Некоторые m суть y'.20.Ни один x' не есть m.Некоторые y суть m.
Хорошо.Наверное, для понимания процесса начинающими можно общие посылки расписывать, например:Все Х есть МНекоторые M суть Yтак:1) Ни один Х не есть не-М2) Некоторые Х суть М3) Некоторые М суть Yи уже на схеме будет более понятно. Но это только первые 10-20 примеров, затем можно просто сопровождать посылки и вывод схемами. Типа свернуть этот процесс.
Общие посылки для начинающих - да.Скорее, наши начинающие в книги Кэрролла не заглянут - так что надо будет, здесь или в новом проходе данной темы дать вводную текстовую информацию по интерпретации и заполнению графических матриц.