```
-----------
|0 | |
| --|-- |
| |0 | 0| |
|--|--|--|--|
| | | | |
| --|-- |
|0 | |
-----------
```¿Y qué Conclusión podemos extraer de esto? Bien, es imposible condensar una información tan abundante en UNA Sola Proposición: esta vez tendremos que contentarnos con DOS.
Primero, tomando a x como sujeto, obtenemos «todo x es y'», es decir,
"Todos los dragones son no escoceses":
en segundo lugar, tomando como Sujeto, obtenemos "todo es ", es decir,
"Todos los escoceses son no-dragones".
Escribamos ahora, todos juntos, nuestras dos Premisas y nuestro par de Conclusiones.
"All Dragons are uncanny;
All Scotchmen are canny.
&there4 All Dragons are not-Scotchmen;
All Scotchmen are not-Dragons."
Permítase señalar, para terminar, que tal vez se encuentre usted con tratados de lógica en los que no se parte del supuesto de que Exista cosa alguna en absoluto, sino que por «algunos x son y» se entiende que «los atributos x e y son COMPATIBLES, de modo que una cosa puede poseer ambos a la vez», y por «ningún x es y», que «los atributos x e y son INCOMPATIBLES, de modo que nada puede poseer ambos a la vez».
En tales tratados, las Proposiciones tienen significados muy diferentes a los que tienen en nuestro «Juego de Lógica», y será conveniente entender exactamente cuál es la diferencia.
Primer tomemos «algunos x son y». Aquí NOSOTROS entendemos que «son» significa «son, como un HECHO real» —lo cual por supuesto implica