Assertion: truth value | /r/HasProperty | true
Facets:
value: in classical logic
type: OTHER
value: with its intended semantics
type: OTHER
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.