El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en su obra lógica recopilada como El Organon, de sus libros conocidos como Primeros Analíticos (en griego, Proto Analytika, en latín –idioma en el que se reconoció la obra en Europa Occidental-, Analytica Priora).
Aristóteles consideraba la lógica como lógica de relación de términos. Los términos se unen o separan en los juicios. Los juicios aristotélicos son considerados desde el punto de vista de unión o separación de dos términos, un sujeto y un predicado. Hoy se hablaría de proposiciones.
La