Сориты ↑

bavi 24 марта 2016, 12:18 в посте Metapractice (оригинал в ЖЖ)

Простые сориты для тренировки 3 правил.
Пройдя эти тренировки можно далее переходить на содержательные сориты, которые чуть сложнее из-за наличия эээ содержания.
Поэтому полезно научиться переводить - фразу с содержанием в классическую форму посылки, т.е выделять точно и корректно термины (например, как в этих заданиях)
Для решения соритов ЛК также предлагает "метод диаграмм" только с добавлением по количеству терминов новых эээ квадратов - это суть сложнее, с моей точки зрения. А с "правилами вывода" сориты решаются очень быстро и легко.

1
Ни одно c не есть d.
Все a суть d.
Все b суть c.

2
Все d суть b.
Ни одно a не есть c'.
Ни одно b не есть c.

3
Все b' суть a.
Ни одно a не суть d.
Все b суть c.

4
Ни одно c не есть d.
Все b суть c.
Ни одно a не есть d'.

5
Все d суть e.
Все c суть a.
Ни одно b не есть d'.
Все e суть a'.

6
Все c суть b.
Все a суть e.
Все d суть b'.
Все a' суть c.

7
Ни одно b не есть c.
Все e суть h.
Все a суть b.
Ни одно d не есть h.
Все e' суть c.

8
Ни одно d не есть h'.
Ни одно c не есть e.
Все h суть b.
Ни одно a не есть d'.
Ни одно b не есть e'.

9
Все h' суть k'.
Ни одно b' не есть a.
Все c суть d.
Все e суть h'.
Ни одно d не есть k'.
Ни одно b не есть c'.

10
Bcе a суть d.
Все k суть b.
Все e суть h.
Ни одно a' не есть b.
Все d суть c.
Все h суть k.

11
Ни одно e не есть k.
Ни одно b' не есть m.
Ни одно a не есть c'.
Все h' суть e.
Все d суть k.
Ни одно c не есть b.
Все d' суть l.
Ни одно h не есть m'.

12
Все n суть m.
Все a' суть e.
Ни одно c' не есть l.
Все k суть r'.
Ни одно a не есть h.
Ни одно d не есть l'.
Ни одно c не есть n.
Все e суть b.
Все m суть r.
Все h суть d.