En el ámbito de la lógica matemática (o proposicional), una inferencia es una conclusión que se emite a partir de un conjunto de premisas o hipótesis. Esta conclusión, junto con las premisas mencionadas, da lugar a lo que se conoce como un razonamiento matemático.
Dicho razonamiento debe poder demostrarse o negarse; es decir, que no todas las inferencias o conclusiones en un razonamiento matemático son válidas.