False (logic)

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:

    ... ideals, standards, aspirations,—those are chameleon words, and take color from their speakers,—often false tints. A scholarly man of my acquaintance once told me that he traveled a thousand miles into the desert to get away from the word uplift, and it was the first word he heard after he reached his destination.
    Carolyn Wells (1862–1942)