1. Proposiciones.

     |     |     |       i.e. All nice are new.
      -----      |
     |     |     |
     |  0  |     |
     |     |     |
      -----      |
                 |
      -----      |
     |     |     |
     |  0  |     |  All y are x';
     |     |     |       i.e. All nice are not-new.
      -----      |
     |     |     |
     |  1  |     |
     |     |     |
      -----      |
  _______________|_________________________________

Y ahora, ¿cómo vamos a representar la proposición contradictoria «ALGUNX x son m»? Esta es una dificultad que ya he considerado. Creo que la mejor manera es colocar una ficha roja SOBRE LA LÍNEA DIVISORIA entre el n.º 11 y el n.º 12, y entender que esto significa que UNO de los dos compartimentos está "ocupado", pero que por el momento no sabemos CUÁL.

Esto lo representaré así:--

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

Ahora expresemos "todos los $x$ son $m$".

Esto consta, como sabemos, de DOS Proposiciones,

"Some x are m,"