Silogismo

• Operação lógica que deduz a relação de dois termos da sua relação com um terceiro termo chamado mediato ou meio termo.

---

Se de uma proposição α com termos M e T₁ e uma proposição β com termos M e T₂, se infere uma proposição γ com nenhuma ocorrência de M, então esta inferência chama-se um silogismo.

1/ Ao termo M comum às duas premissas chama-se termo médio.

2/ Ao predicado da proposição γ chama-se termo maior (T>).

3/ Ao sujeito da proposição γ chama-se termo menor (T<).

4/ À premissa onde ocorre o termo maior chama-se premissa maior, e à premissa onde ocorre o termo menor chama-se premissa menor.

Assim, todos os silogismos se deixam representar na seguinte forma canónica ou forma normal:

Premissa Maior
Premissa Menor
-----------------
∴ Conclusão

em que a conclusão é sempre da forma T< ∈ T>¹

---

Exemplo de silogismo bem formado:

M ∈ T>
T< ∈ M
-------
∴ T< ∈ T>

Exemplo de silogismo mal formado:

M ∈ T>
T< ∈ M
-------
∴ T< ∈ M

Notas

1. o símbolo ∈ significa “elemento de” → T< é “elemento de” T>.

---

verbete em construção; entretanto, ler: A lógica de Aristóteles

^{Editado por (OBraga)}