-----------
| | |
| 1 | 1 |
| | |
-----------
Espero que no tengas mucha dificultad en comprender que esto representa una Proposición DOBLE: a saber, "algunos x son y, Y algunos son y'", es decir, "algunos nuevos son agradables, y algunos no son agradables".
Lo siguiente es un poco más difícil, tal vez:
```
-----------
| | |
| 0 | 0 |
| | |
-----------
```Esto significa «ningún x es y, Y ninguno es y'», es decir, «ningún new es nice, Y ninguno es not-nice»: lo cual conduce al resultado bastante curioso de que «ningún new existe», es decir, «ningún Cake es new». Esto se debe a que «nice» y «not-nice» hacen lo que llamamos una división «EXHAUSTIVA» de la clase «new Cakes»: es decir, entre ambos EXHAUSTAN toda la clase, de modo que todos los new Cakes que existen deben encontrarse en uno u otro de ellos.
Y ahora supongamos que tuviera que representar, con fichas, la contradictoria de «ningún pastel es nuevo», que sería «algunos pasteles son nuevos», o, poniendo letras en lugar de palabras, «algunos pasteles son », ¿cómo lo haría?
Esto te desconcertará un poco, supongo. Evidentemente, debes poner una ficha roja EN ALGÚN LUGAR de la mitad del armario, puesto que sabes que hay ALGUNOS pasteles nuevos. Pero no debes ponerla en el compartimento IZQUIERDO, puesto que no sabes que sean BUENOS; ni tampoco puedes ponerla en el DERECHO, puesto que no sabes que NO SEAN BUENOS.
¿Qué debéis hacer, entonces? Creo que la mejor salida a la dificultad es colocar la ficha roja SOBRE LA LÍNEA DIVISORIA entre el compartimento y el compartimento . Esto lo representaré (como siempre pongo un «1» donde debéis colocar una ficha roja) mediante el diagrama
```
-----------
| | |
| -1- |
| | |
-----------
```