La inferencia consiste en partir de un conjunto de proposiciones o afirmaciones conocidas, llamadas premisas. Luego se concluye de ellas en otra proposición o afirmación, que se denomina conclusión. Debe existir una relación entre las premisas y la conclusión, a través de las reglas de inferencia.