# Logic

> What statements follow from others?

Record: `reason:math-domain-logic`
Kind: math-domain
Canonical: https://banes-lab.com/ontology/reasoning#reason-math-domain-logic

## referenced-by

- [Logic](https://banes-lab.com/records/reason/math-type-logic.md)