Segundo Aristóteles:
"O silogismo é uma locução em que uma vez certas suposições sejam feitas, alguma coisa distinta delas se segue
necessariamente devido à mera presença de suposições como tais. Por ‘devido à mera presença de suposições como
tais’ entendo que é por causa delas que resulta a conclusão, e por isso quero dizer que não há necessidade de
qualquer termo adicional para tornar a conclusão necessária.”
Em outras palavras, os silogismos são formas lógicas compostas por duas premissas e uma conclusão que se segue
das premissas. Um exemplo de silogismo é: