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:
“The basic difference between classical music and jazz is that in the former the music is always greater than its performance—Beethoven’s Violin Concerto, for instance, is always greater than its performance—whereas the way jazz is performed is always more important than what is being performed.”
—André Previn (b. 1929)
“Somebody who should have been born
is gone.
Yes, woman, such logic will lead
to loss without death. Or say what you meant,
you coward . . . this baby that I bleed.”
—Anne Sexton (1928–1974)