Inference

Steps in reasoning

Inferences are steps in logical reasoning, moving from premises to logical consequences. Inference is traditionally divided into deduction and induction, a distinction that dates at least to Aristotle (300s BC). A third type of inference, abduction, has been proposed, notably by Charles Sanders Peirce.

From Wikipedia, under CC BY-SA. More on occurri.