- Todos los x son y'.
- Algunos x son y. es decir, Algunos buenos acertijos son difíciles.
- Todo x es y. Es decir, todos los buenos acertijos son difíciles.
- No existen las x. es decir, ningún acertijo es bueno.
- Ningún x es y. Es decir, ningún buen acertijo es difícil.
- Algunos x son y'. es decir, Algunos langostas son desinteresadas.
- No x son y. Es decir, no hay langostas egoístas.
- Todos los x son y'. es decir, todos los langostas son desinteresados.
- Algunos x son y, y algunos son y'. Es decir, algunos langostinos son egoístas, y algunos son desinteresados.
- Todos los y son x'. Es decir, todos los inválidos son infelices.
- Algunos existen. Es decir, algunas personas no son saludables.
- Algunos y' son x, y algunos son x'. Es decir: algunos inválidos son felices, y algunos son infelices.
- No hay . Es decir, nadie no está sano.
- Diagrama más pequeño.
Proposiciones representadas.
------- -------
| 1 | | | | |
1. |---|---| 2. |---|---|
| 0 | | | 1 | |
------- -------
------- -------
| | | | | 1 |
3. |---|---| 4. |---|---|
| | 0 | | | |
------- -------
------- -------
| | 1 | | | |
5. |---|---| 6. |---|---|
| | | | 0 | |
------- -------