1. Proposiciones.

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

Nuestra «Conclusión», por lo tanto, debe extraerse de la información, bastante exigua, de que hay una ficha roja en la casilla $x{y}^{\prime }$.

De ahí que nuestra conclusión sea «algunos $x$ son $y^{\prime }$», es decir, «algunos Pasteles nuevos son no-apetitosos (Pasteles)»; o, si prefiere tomar $y^{\prime }$ como Sujeto, «algunos Pasteles no-apetitosos son nuevos (Pasteles)»; pero la otra opción parece más pulcra.

Escribiremos ahora el Silogismo completo, poniendo el símbolo &thereicke;[*] para "por lo tanto", y omitiendo "Pasteles", en aras de la brevedad, al final de cada Proposición.

[*][NOTA de Brett: El uso de «&there4» es una selección bastante arbitraria. No hay ninguna fuente disponible de forma general que reproduzca correctamente el símbolo de «por lo tanto» (tres puntos en formación triangular). Sin embargo, esto sí se puede hacer en HTML, por lo que, si este documento se lee en un navegador, el símbolo se reconocerá adecuadamente. Esta