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

1. Proposiciones.

el otro «ocupado» o «vacío», para determinar el hecho de que HAY ALGO en el cuadro.

Si, pues, trasladamos nuestras marcas al Diagrama más pequeño, de modo de librarnos de las m-subdivisiones, tenemos derecho a marcarlo

                      -----------
                     |     |     |
                     |  1  |  0  |
                     |     |     |
                      -----------

lo que significa, ya sabes, "todos los x son y".

El resultado habría sido exactamente el mismo, si el óngulo dado hubiera sido marcado así:--

```
-------------------
| 1       |       0 |
|    _____|_____    |
|   |     |     |   |
|   |     |  0  |   |
|   |     |     |   |
-------------------
```

Una vez más: ¿cómo debemos interpretar esto, con respecto a x e y?

20