Codal
nydus/The Game of LogicPublic
Página 47 de 92
Table of Contents

Elemental

                  -------             -------
                 | 0 | 0 |           |   | 1 |
            13.  |---|---|      14.  |---|---|
                 |   | 0 |           | 1 |   |
                  -------             -------
                  -------             -------
                 | 1 |   |           | 0 | 1 |
            15.  |---|---|      16.  |---|---|
                 |   | 0 |           | 1 | 0 |
                  -------             -------

[Véase la pág. 65, 6]

  1. Diagrama más grande.

Proposiciones que deben representarse.


```
-----------
|     |     |
|   --x--   |
|  |  |  |  |
|--y--m--y'-|
|  |  |  |  |
|   --x'-   |
|     |     |
-----------
```

  1. No x son m.
  1. Algunos y son m'.
  1. Todos los m son x'.
  1. No m' are y'.
47