# Logic

> truth and implication

Record: `reasoning:pattern-type-logic`
Kind: pattern-type
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-pattern-type-logic

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Topology](https://banes-lab.com/records/reasoning/pattern-type-topology.md) and before [Combinatorics](https://banes-lab.com/records/reasoning/pattern-type-combinatorics.md).

## Concept

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