Symbolic Logic

by Lewis Carroll

29. No m are x;
All y are m′.

30. All x are m′;
Some y are m.

31. All x are m;
All y are m.

32. No x are m′;
All m are y.

33. No m are x;
No m are y.

34. No m are x′;
Some y are m.

35. No m are x;
All y are m.

36. All m are x′;
Some y are m.

37. All m are x;
No y are m.

38. No m are x;
No m′ are y.