Los silogismos (del griego antiguo συλλογισμός, syllogismós, que significa «reunión de datos para llegar a una conclusión lógica») son un conjunto de ciertos tipos de conclusiones lógicas. Constituyen el núcleo de la lógica antigua desarrollada por Aristóteles en el siglo IV a.C., así como de la lógica tradicional hasta el siglo XIX. La técnica silogística solo fue superada como principal método de razonamiento lógico con la integración de esta disciplina en las matemáticas, gracias a los trabajos de George Boole y Gottlob Frege en los siglos XIX y XX. En general, por «silogística» se entiende el estudio de los silogismos en sí. La lógica clásica analizaba especialmente bajo qué condiciones los silogismos son válidos. Estos siempre se estructuran según un mismo patrón: dos premisas (condiciones) conducen a una conclusión. Tanto las premisas como la conclusión son enunciados de un determinado tipo, en los que un término (el sujeto del silogismo) se relaciona de algún modo con otro término (el predicado del silogismo); no necesariamente estos términos coinciden con los conceptos de sujeto y predicado en el ámbito gramatical. En función de su posición dentro del silogismo, los términos utilizados reciben nombres como «sujeto mayor», «sujeto medio» o «sujeto menor». (Este resumen proviene de Wikipedia.)