In Classical Logic and Boolean Logic
Boolean logic defines the false in both senses mentioned above: "0" is a propositional constant, whose value by definition is 0. In a classical propositional calculus, depending on the chosen set of fundamental connectives, the false may or may not have a dedicated symbol. Such formulas as p ∧ ¬p and ¬(p → p) may be used instead.
In both systems the negation of the truth gives false. The negation of false is equivalent to the truth not only in classical logic and Boolean logic, but also in most other logical systems, as explained below.
Read more about this topic: False (logic)
Famous quotes containing the words classical and/or logic:
“Culture is a sham if it is only a sort of Gothic front put on an iron building—like Tower Bridge—or a classical front put on a steel frame—like the Daily Telegraph building in Fleet Street. Culture, if it is to be a real thing and a holy thing, must be the product of what we actually do for a living—not something added, like sugar on a pill.”
—Eric Gill (1882–1940)
““... We need the interruption of the night
To ease attention off when overtight,
To break our logic in too long a flight,
And ask us if our premises are right.””
—Robert Frost (1874–1963)