Assertion: truth value | /r/HasProperty | denoted by the verum ⊤
Facets:
Source sentences:
text: In classical logic, with its intended semantics, the truth values are true (denoted by 1 or the verum ⊤), and untrue or false (denoted by 0 or the falsum ⊥); that is, classical logic is a two-valued logic.