Силлогизмы для тренировки (1) ↑

bavi 17 марта 2016, 13:41 в посте Metapractice (оригинал в ЖЖ)

х' или y' - значит не-Х или не-Y

1.
Ни один x не есть m.
Ни одно m' не есть y.

2.
Ни один x' не есть m'.
Все m' суть y.

3.
Некоторые x' суть m.
Ни одно m не есть y.

4.
Все m суть x.
Все m' суть y'.

5.
Все m' суть x.
Все m' суть y'.

6.
Все x' суть m'.
Ни один y' не есть m.

7.
Все x суть m.
Все y' суть m'.

8.
Некоторые m' суть x'.
Ни одно m не есть y.

9.
Все m суть x'.
Ни одно m не есть y.

10.
Ни одно m не есть x'.
Ни один y не есть m'.

11.
Ни один x' не есть m'.
Ни одно m не есть y.

12.
Некоторые x суть m.
Все y' суть m.

13.
Все x' суть m.
Все m суть y.

14.
Некоторые x суть m'.
Все m суть y.

15.
Ни одно m' не есть x'.
Все y суть m.

16.
Все x суть m'.
Ни один y не есть m.

17.
Некоторые m' суть x.
Ни одно m' не есть y'.

18.
Все x суть m'.
Некоторые m' суть y'.

19.
Все m суть x.
Некоторые m суть y'.

20.
Ни один x' не есть m.
Некоторые y суть m.