En la lógica aristotélica, la forma esencial de inferencia es una forma de razonamiento deductivo.