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:

    In spite of rock and tempest’s roar,
    In spite of false lights on the shore,
    Sail on, nor fear to breast the sea!
    Our hearts, our hopes, are all with thee,
    Our hearts, our hopes, our prayers, our tears,
    Our faith triumphant o’er our fears,
    Are all with thee,—are all with thee!
    Henry Wadsworth Longfellow (1809–1882)