logical inference

Logical inference is the process of deriving conclusions from premises or evidence through reasoning.

In formal logic, an inference follows strict rules: if the premises are true and the reasoning valid, the conclusion must be true.

More loosely, any reasoned conclusion drawn from available information: The detective made a logical inference from the evidence at the scene.

Distinguished from guessing or intuition by its grounding in structured reasoning.