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

1. Proposiciones.

and "No x are m'."

Expresemos primero la parte negativa. Esto nos dice que ninguno de los Pasteles, pertenecientes a la mitad superior del armario, se encuentra FUERA del Cuadrado central: es decir, los dos compartimentos, núm. 9 y núm. 10, están VACÍOS. Esto, por supuesto, se representa mediante

                   -------------------
                  | 0       |       0 |
                  |    _____|_____    |
                  |   |     |     |   |
                  |   |     |     |   |
                  |   |     |     |   |
                   -------------------

Pero aún nos falta representar «Algunos x son m». Esto nos indica que hay ALGUNOS pasteles en el óvalo compuesto por el n.º 11 y el n.º 12; por lo tanto, colocamos nuestra ficha roja, como en el ejemplo anterior, sobre la línea divisoria entre el n.º 11 y el n.º 12, y el resultado es

18