Logic

Kind: pattern-type

Record: reasoning:pattern-type-logic

Canonical: Reasoning

truth and implication

Listed in Reasoning records, after Topology and before Combinatorics.

Concept

• Logic