Complete Works of Lewis Carroll (183 page)

Hence proposed Conclusion is right.

  2.

All
x
are
m
; No
y
are
m
′
.
No
y
are
x
′
.

There is no Conclusion.

  3.

Some
x
are
m
′
; All
y
′
are
m
.
Some
x
are
y
.

Hence proposed Conclusion is right.

  4.

All
x
are
m
; No
y
are
m
.
All
x
are
y
′
.

Hence proposed Conclusion is right.

  5.

Some
m
′
are
x
′
; No
m
′
are
y
.
Some
x
′
are
y
′
.

Hence proposed Conclusion is right.

  6.

No
x
′
are
m
; All
y
are
m
′
.
All
y
are
x
.

There is no Conclusion.

  7.

Some
m
′
are
x
′
; All
y
′
are
m
′
.
Some
x
′
are
y
′
.

There is no Conclusion.

  8.

No
m
′
are
x
′
; All
y
′
are
m
′
.
All
y
′
are
x
.