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

1. Proposiciones.

En tal caso llamamos a las Proposiciones dadas «LAS PREMISAS», a la tercera «LA CONCLUSIÓN» y al conjunto entero «UN SILOGISMO».

Tenemos ahora que expresar la otra Premisa, a saber, "algunos pasteles nuevos son (pasteles) insanos", es decir, "algunos x-pasteles son m′-(pasteles)". Esto nos indica que algunos de los pasteles en la mitad-x del armario están en sus compartimentos-m′. Por tanto, UNO de los dos compartimentos, el n.º 9 y el n.º 10, está "ocupado": y, como no se nos dice EN CUÁL de estos dos compartimentos debemos colocar la ficha roja, la regla habitual sería colocarla sobre la línea divisoria entre ellos: pero, en este caso, la otra Premisa ha resuelto el asunto por nosotros al declarar que el n.º 9 está VACÍO. Por tanto, la ficha roja no tiene alternativa y DEBE ir al n.º 10, de este modo:--

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

Y ahora, ¿qué fichas nos permitirá colocar esta información en el Diagrama MÁS PEQUEÑO, para obtener alguna Proposición que involucre solo a x y y, omitiendo a m? Tomemos sus cuatro compartimentos, uno por uno.

Primero, el núm. 5. Todo lo que sabemos sobre ESTE es que su porción EXTERIOR está vacía: pero no sabemos nada sobre su porción interior. Así pues, el Cuadrado PUEDE estar vacío, o PUEDE tener algo dentro. ¿Quién puede decirlo? Por lo tanto, no nos atrevemos a colocar NINGUNA ficha en este Cuadrado.

En segundo lugar, ¿qué pasa con el núm. 6? Aquí estamos un poco mejor. Sabemos que hay ALGO en él, puesto que hay una ficha roja en su parte exterior. Es cierto que no sabemos si su parte interior está vacía u ocupada: pero ¿qué importa ESO? Un solo Pastel, en una esquina del Cuadrado, es excusa más que suficiente para decir «ESTE CUADRADO ESTÁ OCUPADO», y para marcarlo con una ficha roja.

En cuanto al núm. 7, nos encontramos en la misma situación que con el núm. 5: lo hallamos EN PARTE «vacío», pero no sabemos si la otra parte está vacía u ocupada; de modo que no nos atrevemos a marcar este Cuadrado.

Y en cuanto al número 8, simplemente no tenemos información en absoluto.

El resultado es

25