Os silogismos são formas lógicas compostas por premissas e uma conclusão que se segue delas. Um exemplo de silogismo válido é: