Los antiguos filósofos griegos, como Platon, identificaron cuatro tipos distintos primarios de proposición categórica y le dieron formas estándar (ahora muchas veces denominadas A, E, I y O).
El punto de vista existencial es una postura más fuerte que la hipotética y, cuando es apropiado tomar, le permite deducir más resultados que de otro modo se podría hacer.
Si la proposición se refiere a todos los miembros de la clase sujeto, este es universal.
Si la proposición no emplea a todos los miembros de la clase sujeto, este es particular.
Por otro lado, una proposición O ("Algunos S no son P") es negativo ya que excluye al sujeto del predicado.
En lógica, algún se refiere a "uno o más", lo que podría significar "todos".
Una proposición E distribuye de forma bidireccional entre el sujeto y el predicado.
La declaración sería entonces quiere decir, por cada entrada que aparece en el grupo de gente corrupta, ni uno de ellos será Albert: "todas las personas corruptas no son Albert".
Esta es una definición que se aplica a todos los miembros de la "gente corrupta" del grupo, y por lo tanto es distribuido.
Para el predicado a distribuir, la declaración debe ser negativa (por ejemplo, "no", "Ningún").
[8] Hay varias operaciones (por ejemplo, conversión, obversión y contraposición) que se pueden realizar en una declaración categórica de cambiarlo a otra.
[En las siguientes tablas que ilustran este tipo de operaciones, las filas con declaración equivalente se marcarán con verde, mientras que aquellos con estados no equivalentes se marcarán con rojo.]
La operación más simple es la conversión, donde se intercambian los términos sujeto y predicado.
La obversión cambia la calidad (que es la afirmatividad o negatividad) de la declaración y el término predicado.