Deduction

Kind: mode

Record: reasoning:mode-deduction

Canonical: Reasoning

deriving necessary consequences

Listed in Reasoning records, after Explanation and before Construction.