Es el proceso de razonamiento que genera una conclusión a partir de una o varias premisas.
Las inferencias lógicas se pueden clasificar por la cantidad de premisas y la forma de razonamiento
Cantidad de premisas
Inmediata: De una premisa se puede generar la conclusión (P->C)
Mediata: De varias premisas se genera una conclusión (P1+P2->C)
Forma de razonamiento
Deductiva: De un factor común indirecto que relaciona las premisas. (P1+P2->C)
Inductiva: De una factor común directo que relaciona las premisas. (P1+P2+P3->C)