# Deduction

> deriving necessary consequences

Record: `reason:mode-deduction`
Kind: mode
Canonical: https://banes-lab.com/ontology/reasoning#reason-mode-deduction