Proposition

Layer 0 — Mathematicsin the logic subtree

A declarative sentence that is either true or false but not both. Propositions are the atomic carriers of truth values in propositional logic, conventionally denoted p, q, r, … . Compound propositions are built from atomic propositions…