Assertion: contradiction | /r/HasProperty | symbolized for instance
Facets:
value: by 0
type: OTHER
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).