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

Elemental

  1. Todas las naciones inermes son incivilizadas.
  1. Algunas naciones son poco belicosas.
  1. Todas las naciones guerreras son civilizadas, y todas las naciones civilizadas son guerreras.
  1. Ninguna nación es incivilizada.

Tomando «cocodrilos» como Universo; x=«hambriento»; e y=«amable»;

  1. Todos los cocodrilos hambrientos son antipáticos.
  1. Ningún cocodrilo es amable cuando tiene hambre.
  1. Some crocodiles, when not hungry, are amiable; but some are not.
  1. Ningún cocodrilo es amable, y algunos tienen hambre.
  1. Todos los cocodrilos, cuando no tienen hambre, son amables; y todos los cocodrilos desamables tienen hambre.
  1. Algunos cocodrilos hambrientos son amables, y algunos que no tienen hambre son desagradables.

[Véase págs. 63, 4]

  1. Diagrama más pequeño.

Símbolos por interpretar.


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

                  -------             -------
                 |   |   |           |   |   |
             1.  |---|---|       2.  |---|---|
                 | 1 |   |           |   | 0 |
                  -------             -------
45