Handbook
Glossary
⊥
Vocabulary
boolean-expr
Class description
Logical contradiction. This statement is unconditionally false.
Definition
IN:
boolean-expr
SINGLETON:
⊥