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