Symbolic Logic

by Lewis Carroll

35. mx₀ † y₁m′₀ ¶ y₁x₀ [Fig. I (α).
i.e. “All y are x′.”

36. m₁x₀ † ym₁ ¶ x′y₁ [Fig. II.
i.e. “Some x′ are y.”

37. m₁x′₀ † ym₀ ¶ xy′₁ [Fig. III.
i.e. “Some x are y′.”

38. mx₀ † m′y₀ ¶ xy₀ [Fig. I.
i.e. “No x are y.”

39. mx′₁ † my₀ ¶ x′y′₁ [Fig. II.
i.e. “Some x′ are y′.”

40. x′m₀ † y′₁m′₀ ¶ y′₁x′₀ [Fig. I (α).
i.e. “All y′ are x.”

41. x₁m₀ † ym′₀ ¶ x₁y₀ [Fig. I (α).
i.e. “All x are y′.”

42. m′x₀ † ym₀ ¶ xy₀ [Fig. I.
i.e. “No x are y.”

[SL5-B]Solutions for § 5, Nos. 13–24.

13. No Frenchmen like plumpudding;
All Englishmen like plumpudding.