Symbolic Logic

by Lewis Carroll

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

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

5. m′x′₁ † m′y₀ ¶ x′y′₁ [Fig. II.] Concl. right.

6. x′m₀ † y₁m₀ Fallacy of Like Eliminands not asserted to exist.

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

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

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

10. m′₁x₀ † m′₁y′₀ ¶ x′y₁ [Fig. III.] Concl. right.

11. x₁m₀ † ym₁ ¶ x′y₁ [Fig. II.] Concl. right.

12. xm₀ † m′y′₀ ¶ xy′₀ [Fig. I.] Concl. right.