1) A lógica silogística ou aristotélica estuda o raciocínio dedutivo através de silogismos categóricos constituídos por três proposições: duas premissas e uma conclusão. 2) Existem quatro tipos de proposições categóricas - A, E, I, O - dependendo do quantificador e da distribuição dos termos. 3) Um silogismo válido deve obedecer às regras de validade, como não ter duas premissas negativas ou particulares.