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→⊥.