La lógica aristotélica consideraba la posibilidad de inferencias inmediatas: aquellas que se pueden obtener directamente a partir de la relación que establece un juicio respecto a los términos, sujeto y predicado, que le constituyen, en función de la cualidad (afirmativo-negativo) y la cantidad (universal-particular) del mismo.