Re: Ответ (1) ↑

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

Хорошо.

---

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

---

Все Х есть М

---

Некоторые M суть Y

---

так:

---

1) Ни один Х не есть не-М

---

2) Некоторые Х суть М

---

3) Некоторые М суть Y

---

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