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

Elemental

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

  1. Algunos x son no-y.
  1. Todos los x son no-y.
  1. Algunos x son y, y algunos no son y.
  1. No existen las x.
  1. Existen algunos x.
  1. Ninguna x es no-y.
  1. Algunos x son no-y, y algunos x existen.

Tomando x="jueces"; y="justos";

  1. Ningún juez es justo.
  1. Algunos jueces son injustos.
  1. Todos los jueces son justos.

Tomando

  • x="ciruelas";
  • y="saludable";
  1. Algunas ciruelas son saludables.
  1. No hay ciruelas sanas.
  1. Plums are some of them wholesome, and some not.
  1. Todas las ciruelas son nocivas.

[Véase la pág. 59, 60]

```
-----
|     |
|     x
40