Assertion: contradiction | /r/HasProperty | substituted for the truth value
Facets:
value: in any symbolism
type: LOCATION
Source sentences:
text: ↔ {\displaystyle \leftrightarrow \ \!\!\!\!\!\!\!} / , and ※; in any symbolism, a contradiction may be substituted for the truth value "false", as symbolized, for instance, by "0" (as is common in boolean algebra).