Podemos inclusive estabelecer uma regra para identificar tais termos: o termo médio é aquele que está nas duas premissas mas não na conclusão; o termo menor é aquele que está na premissa menor e é o sujeito da conclusão; o termo maior é aquele que está na premissa maior e é o predicado da conclusão.
Figuras do silogismo e algumas regras para o seu entendimento
Na lógica, uma proposição categórica, ou afirmação categórica, é uma proposição que afirma ou nega que todos ou alguns dos membros de uma categoria (o termo sujeito) estão incluídos em outro (o termo predicado).
As proposições lógicas podem ser classificadas em dois tipos:
Uma proposição é uma frase escrita em linguagem corrente ou em linguagem matemática, que pode serverdadeira ou falsa. A proposição « a França é um país da Europa » é verdadeira. A proposição « Os gatos são ruminantes » é falsa. A proposição « x>y » é verdadeira para x=5 e y=−1 mais ela é falsa para x=2 e y=7 .