O silogismo é a forma lógica proposta pelo filósofo grego Aristóteles (384 a 322 a.C.) como instrumento para a produção de conhecimento consistente. O silogismo é tradicionalmente constituído por
- A duas premissas, dois termos médios e uma conclusão que se segue delas.
- B uma premissa maior e uma conclusão que decorre logicamente da premissa.
- C uma premissa maior, uma menor e uma conclusão que se segue das premissas.
- D três premissas, um termo maior e um menor que as conecta logicamente.
- E uma premissa, um termo médio e uma conclusão que decorre da premissa.