Primero presentamos los tipos de inferencia, la inferencia válida en computación y matemáticas y al final una serie de reglas que se utilizan para la inferencia deductiva.

La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas.

Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o expresiones conocidas y de ellas se desprende una conclusión.

Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.

Inductiva (de lo particular a lo general)

La inferencia inductiva es la ley general que se obtiene de la observación de uno o más casos y no se puede asegurar que la conclusión sea verdadera en general.

Deductiva (de lo general a lo particular)

Cuando se conoce una ley general y se aplica a un caso particular, por ejemplo se sabe que siempre que algo se quema hay fuego, concluímos que si algo se quema, hay fuego. 

Transductiva (de particular a particular o de general a general) 

Este es un caso donde como en el caso inductivo, no podemos estar seguros de que la conclusión es verdadera.

Abductiva es semejante a la deductiva, también utiliza la estrategia de analizar todas las posibilidades, pero en este caso hay varios casos que se pueden presentar, como por ejemplo si se sabe que siempre que se quema algo es que hay fuego y se sabe que si hay fuego se puede concluir que algo se quema, pero no se tiene la certeza, al igual que el caso inductivo y transductivo no es una forma válida de obtener conclusiones en matemáticas o en lógica y es necesario conocer más información para poder verificar la validez.