# Logical

> truth and implication

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