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:

    Passions spin the plot:
    We are betrayed by what is false within.
    George Meredith (1828–1909)