[userpic]

Сориты ↑

bavi в посте 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.

1 комментарий