Symbolic Logic

by Lewis Carroll

23. m₁x′₀ † m′y′₀ ¶ x′y′₀ [Fig. I.] Concl. right.

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

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

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

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

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

29. x′m₀ † m′y′₀ ¶ x′y′₀ [Fig. I.] Concl. right.

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

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

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