Symbolic Logic

by Lewis Carroll

33. m₁x₀ † y′₁m′₀ ¶ y′₁x₀ [Fig. I (α).] Concl. right.

34. x₁m₀ † ym′₁ Fallacy of Unlike Eliminands with an Entity-Premiss.

35. xm₁ † m₁y′₀ ¶ xy₁ [Fig. II.] Concl. right.

36. m₁x₀ † y₁m′₀ ¶ y₁x₀ [Fig. I (α).] Concl. right.

37. mx′₀ † m₁y₀ ¶ xy′₁ [Fig. III.] Concl. right.

38. xm₀ † my′₀ Fallacy of Like Eliminands not asserted to exist.

39. mx₀ † my′₁ ¶ x′y′₁ [Fig. II.] Concl. right.

40. mx′₀ † ym₁ ¶ xy₁ [Fig. II.] Concl. right.

[pg150]
[SL7-B]Solutions for § 7.

1. No doctors are enthusiastic;
You are enthusiastic.
You are not a doctor.