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