A term often seen in material relating to the study of logic. A falsum has the symbol ⊥ and is used to indicate contradiction. That is, a falsum is a statement which is always false.
Essentially, ⊥ ≡ 0, although ⊥ is the more traditional symbol for falsehood.

⊥ can be used to express negation, for example, ¬A can be written as A→⊥.

Log in or register to write something here or to contact authors.