CodalSearch this book — or all of Codal…⌘K
nydus/The Game of LogicPublic
Page 42 of 125
Table of Contents

NEW LAMPS FOR OLD.

And these may be expressed, using letters for words, thus:--

                "All x are m';
                 All y are m."

The first Premiss consists, as you already know, of two parts:--

                 "Some x are m',"
             and "No x are m."

And the second also consists of two parts:--

                 "Some y are m,"
             and "No y are m'."

Let us take the negative portions first.

We have, then, to mark, on the larger Diagram, first, "no x are m", and secondly, "no y are m'". I think you will see, without further explanation, that the two results, separately, are

       -----------           -----------
      |     |     |         |0    |     |
      |   --|--   |         |   --|--   |
      |  |0 | 0|  |         |  |  |  |  |
      |--|--|--|--|         |--|--|--|--|
      |  |  |  |  |         |  |  |  |  |
      |   --|--   |         |   --|--   |
      |     |     |         |0    |     |
       -----------           -----------
42