La premisa menor debe ser afirmativa y la mayor universal.
Proposiciones categóricas son afirmaciones acerca de categorías o clases. Toda proposición categórica es un enunciado acerca de los miembros de dos clases, y de relación entre ellos.
Por ejemplo:
Todo S es P: todos los platos se tienen que lavar.
Ningún S es P: ningún plato tiene que ser lavado.
Algún S es P: algunos platos tienen que ser lavados.
Algún S no es P: algunos platos no tienen que ser lavados.
Una premisa debe ser negativa y la mayor debe ser universal.
Por ejemplo:
Premisa mayor: Ningún celular tiene contactos.
Premisa menor: Todos los celulares tienen contactos.
Conclusión: La mayoría de los celulares tienen contactos.
La premisa menor debe ser afirmativa y la conclusión particular.
El término medio, y el término menor puede ser afirmado del término medio en la premisa menor.
El término medio aparece como sujeto de ambas premisas.
Premisa mayor: Ningún pájaro vuela.
Premisa menor: Algún pájaro vuela.
Conclusión: Varios pájaros vuelan.
Cuando la premisa mayor es afirmativa, la menor debe ser universal; si la menor es afirmativa, la conclusión es negativa, la mayor debe ser universal.
Por ejemplo:
Premisa mayor: Todo caballo es un mamífero.
Premisa menor: Todo Caballo Clydesdale es un caballo.
Conclusión: Entonces, todo Caballo Clydesdale es un mamífero.