Symbolic Logic

by Lewis Carroll

(3) [see [p. 64]]

“All diligent students are successful;
All ignorant students are unsuccessful.”

Univ. “students”; m = successful; x = diligent; y = ignorant.

x₁m′₀ † y₁m₀ ¶ x₁y₀ † y₁x₀ [Fig. I (β).

i.e. “All diligent students are learned; and all ignorant students are idle.”

(4) [see [p. 66]]

“All soldiers are strong;
All soldiers are brave.
Some strong men are brave.”

Univ. “men”; m = soldiers; x = strong; y = brave.

m₁x′₀ † m₁y′₀ ¶ xy₁ [Fig. III.

Hence proposed Conclusion is right.