proposition
an abstract object in propositional calculus meant to represent a concept capable of being asserted or denied,
§4-2
.
