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

Elemental

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

[Véase la p. 62]

  1. Diagrama más pequeño.

Proposiciones que deben representarse.

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

  1. Todo y es x.
  1. Algunos y no son x.
  1. No los no-x son no-y.
  1. Algunas x no son y.
  1. Algunos no-y son x.
  1. Ningún no-x
43