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 é: