O silogismo, do grego syllogismos, é um argumento lógico no qual uma proposição é inferida de duas outras. É composto por três partes: a premissa maior, a premissa menor e a conclusão inferida das premissas. O silogismo é a contribuição mais famosa de Aristóteles para a lógica e porque qualquer argumento válido deve tomar a forma de um silogismo, seu trabalho na análise de silogismos fornece uma base para analisar argumentos e provar rigorosamente se são verdadeiros ou falsos, válidos ou inválidos.