Complete Works of Lewis Carroll (165 page)

19

20

EX4§ 4.

Pairs of Abstract Propositions, proposed as Premisses: Conclusions to be found.

  1.
No
m
are
x
′
;

All
m
′
are
y
.

  2.
No
m
′
are
x
;

Some
m
′
are
y
′
.

  3.
All
m
′
are
x
;

All
m
′
are
y
′
.

  4.
No
x
′
are
m
′
;

All
y
′
are
m
.

  5.
Some
m
are
x
′
;

No
y
are
m
.

  6.
No
x
′
are
m
;

No
m
are
y
.

  7.
No
m
are
x
′
;

Some
y
′
are
m
.

  8.
All
m
′
are
x
′
;

No
m
′
are
y
.

  9.
Some
x
′
are
m
′
;

No
m
are
y
′
.

10.
All
x
are
m
;

All
y
′
are
m
′
.

11.
No
m
are
x
;

All
y
′
are
m
′
.

12.
No
x
are
m
;

All
y
are
m
.

13.
All
m
′
are
x
;

No
y
are
m
.

14.
All
m
are
x
;

All
m
′
are
y
.

15.
No
x
are
m
;

No
m
′
are
y
.

16.
All
x
are
m
′
;

All
y
are
m
.

17.
No
x
are
m
;

All
m
′
are
y
.

18.
No
x
are
m
′
;

No
m
are
y
.

19.
All
m
are
x
;

All
m
are
y
′
.

20.
No
m
are
x
;

All
m
′
are
y
.

21.
All
x
are
m
;

Some
m
′
are
y
.

22.
Some
x
are
m
;

All
y
are
m
.

23.
All
m
are
x
;

Some
y
are
m
.

24.
No
x
are
m
;

All
y
are
m
.

25.
Some
m
are
x
′
;

All
y
′
are
m
′
.

26.
No
m
are
x
′
;

All
y
are
m
.

27.
All
x
are
m
′
;

All
y
′
are
m
.

28.
All
m
are
x
′
;

Some
m
are
y
.

29.
No
m
are
x
;

All
y
are
m
′
.

30.
All
x
are
m
′
;

Some
y
are
m
.

31.
All
x
are
m
;

All
y
are
m
.

32.
No
x
are
m
′
;

All
m
are
y
.

33.
No
m
are
x
;

No
m
are
y
.

34.
No
m
are
x
′
;

Some
y
are
m
.

35.
No
m
are
x
;

All
y
are
m
.

36.
All
m
are
x
′
;

Some
y
are
m
.

37.
All
m
are
x
;

No
y
are
m
.

38.
No
m
are
x
;

No
m
′
are
y
.

39.
Some
m
are
x
′
;

No
m
are
y
.

40.
No
x
′
are
m
;