![[userpic]](https://metapractice.ru/images/none-4ee1bcd692ded7d0186297bdd7e6cfd1.gif?vsn=d)
Ответ (1) ↑
bavi в посте Metapractice (оригинал в ЖЖ)
Ни один x не есть m.
Ни одно m' не есть y.
(1)
Вывод в маленьком квадрате справа:
Ни один Х не есть Y
(окончательная форма)
3 комментария
сначала старые сначала новые
![[userpic]](/media/4587bb8388ee4725e346652254c934c26f18585afe1756ca95df939553e68845)
Хорошо.
Наверное, для понимания процесса начинающими можно общие посылки расписывать, например:
Все Х есть М
Некоторые M суть Y
так:
1) Ни один Х не есть не-М
2) Некоторые Х суть М
3) Некоторые М суть Y
и уже на схеме будет более понятно. Но это только первые 10-20 примеров, затем можно просто сопровождать посылки и вывод схемами. Типа свернуть этот процесс.
Наверное, для понимания процесса начинающими можно общие посылки расписывать, например:
Все Х есть М
Некоторые M суть Y
так:
1) Ни один Х не есть не-М
2) Некоторые Х суть М
3) Некоторые М суть Y
и уже на схеме будет более понятно. Но это только первые 10-20 примеров, затем можно просто сопровождать посылки и вывод схемами. Типа свернуть этот процесс.
Общие посылки для начинающих - да.
Скорее, наши начинающие в книги Кэрролла не заглянут - так что надо будет, здесь или в новом проходе данной темы дать вводную текстовую информацию по интерпретации и заполнению графических матриц.
Скорее, наши начинающие в книги Кэрролла не заглянут - так что надо будет, здесь или в новом проходе данной темы дать вводную текстовую информацию по интерпретации и заполнению графических матриц.