como «algunos bf son acde», siendo cada una equivalente a «algunas Cosas son abcdef». Asimismo, «Ningún hombre viejo y sabio es un jugador temerario e imprudente» puede reordenarse como «Ningún jugador viejo y temerario es sabio e imprudente», siendo cada una equivalente a «Ningún hombre es un jugador temerario, imprudente, viejo y sabio».
- Silogismos
Ahora supongamos que dividimos nuestro Universo de Cosas de tres maneras, con respecto a tres Atributos diferentes. De estos tres Atributos, podemos formar tres parejas diferentes (por ejemplo, si fueran a, b, c, podríamos formar las tres parejas ab, ac, bc).
Supongamos también que se nos dan dos Proposiciones, que contienen dos de estas tres parejas, y que a partir de ellas podemos demostrar una tercera Proposición que contiene la tercera pareja. (Por ejemplo, si dividimos nuestro Universo para m, x e y; y si se nos dan las dos Proposiciones: «ningún m es x'» y «todos los m' son y», que contienen las dos parejas mx y my, podría ser posible demostrar a partir de ellas una tercera Proposición, que contenga a x e y).