False (logic)
In logic, false is a truth value or a nullary logical connective. In a truth-functional system of propositional logic it is one of two postulated truth values, along with its negation, truth. Usual notations of the false are 0 (especially in Boolean logic and computer science) and the up tack symbol ⊥.
Another approach is used for several formal theories (for example, intuitionistic propositional calculus) where the false is a propositional constant (i.e. a nullary connective) ⊥, the truth value of this constant being always false in the sense above.
Read more about False (logic): In Classical Logic and Boolean Logic, False, Negation and Contradiction, Consistency
Famous quotes containing the word false:
“What makes all doctrines plain and clear?
About two hundred pounds a year.
And that which was proved true before
Prove false again? Two hundred more.”
—Samuel Butler (1612–1680)