Lógica inferencial consiste en una función que toma premisas, las analiza y devuelve una conclusión.
Las reglas significativas de inferencia en la lógica proposicional incluyen modus ponens, modus tollens y contraposición.
Una inferencia lógica puede ser : inductiva, deductiva, trasductiva o abductivaInductiva : va de premisas particulares a generalesDeductiva : va de lo general a premisas particularesTransductivas : Pasa de lo particular a lo particular o de lo general a lo generalAbductiva : se generan hipótesis sin la certeza de su veracidadLeyes de la inferencia lógica : (entre ellas)Ley de separación o modus ponendo pones : entre dos enunciados hay una causa y un efectoModus Tollendo Tollens : es una negación, pues si su cansa no ha podido darse, su efecto menos se daráModus Tollendo Ponens : es una disyunción o elección entre dos enunciadosSilogismo hipotético : si una causa tiene una consecuencia y esta a su vez en consecuencia de otra la primera y la tercera tienen relación.