El silogismo es una forma de razonamiento lógico que consta de dos proposiciones y una conclusión, la última de las cuales se deduce necesariamente de las otras dos. El silogismo fue formulado por primera vez por Aristóteles, en su obra lógica El Organon, en los libros conocidos como primeros analíticos.