Quale/i delle seguenti regole di sostituzione è/sono corretta/e:
1) tutti gli X sono Y si può sostituire con qualche Y è X
2) nessun X è Y si può sostituire con nessun Y è X
3) qualche X è Y si può sostituire con tutti gli Y sono X
1) tutti gli X sono Y si può sostituire con qualche Y è X
La proposizione “tutti gli X sono Y” implica che, nel gruppo degli Y, esistono per certo alcuni X (punti neri nel grafico) , quelli che sono uguali a Y, non obbligatoriamente tutti. Ne consegue che “qualche Y è X” è una proposizione corretta.

2) nessun X è Y si può sostituire con nessun Y è X
La proposizione “nessun X è Y” implica che nel gruppo degli Y è impossibile trovare degli X perché non c’è alcun X che sia uguale a Y. Ne consegue che “nessun Y è X” è una proposizione corretta.

3) qualche X è Y si può sostituire con tutti gli Y sono X
La proposizione “qualche X è Y” implica che, nel gruppo degli Y, esistono alcuni X, quelli che sono uguali a Y (punti neri nel grafico), non obbligatoriamente tutti; possono esistere elementi in Y che non sono X (punti chiari nel grafico). Ne consegue che la proposizione “tutti gli Y sono X” è errata.
