digplanet beta 1: Athena
Share digplanet:

Agriculture

Applied sciences

Arts

Belief

Chronology

Culture

Education

Environment

Geography

Health

History

Humanities

Language

Law

Life

Mathematics

Nature

People

Politics

Science

Society

Technology

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.[1] Usual notations of the false are 0 (especially in Boolean logic and computer science) and the up tack symbol .[2]

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.[3][4][5]

## 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 ¬(pp) 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.

In most logical systems, negation, material conditional and false are related as:

¬p ⇔ (p → ⊥)

This is the definition of negation in some systems,[6] such as intuitionistic logic, and can be proven in propositional calculi where negation is a fundamental connective. Because pp is usually a theorem or axiom, a consequence is that the negation of false (¬ ⊥) is true.

The contradiction is a statement which entails the false, i.e. φ ⊢ ⊥. Using the equivalence above, the fact that φ is a contradiction may be derived, for example, from ⊢ ¬φ. Contradiction and the false are sometimes not distinguished, especially due to Latin term falsum denoting both. Contradiction means a statement is proven to be false, but the false itself is a proposition which is defined to be opposite to the truth.

Logical systems may or may not contain the principle of explosion (in Latin, ex falso quodlibet), ⊥ ⊢ φ.

## Consistency

A formal theory using "⊥" connective is defined to be consistent if and only if the false is not its theorem. In the absence of propositional constants, some substitutes such as mentioned above may be used instead to define consistency.

## References

1. ^ Jennifer Fisher, On the Philosophy of Logic, Thomson Wadsworth, 2007, ISBN 0-495-00888-5, p. 17.
2. ^ Willard Van Orman Quine, Methods of Logic, 4th ed, Harvard University Press, 1982, ISBN 0-674-57176-2, p. 34.
3. ^ George Edward Hughes and D.E. Londey, The Elements of Formal Logic, Methuen, 1965, p. 151.
4. ^ Leon Horsten and Richard Pettigrew, Continuum Companion to Philosophical Logic, Continuum International Publishing Group, 2011, ISBN 1-4411-5423-X, p. 199.
5. ^ Graham Priest, An Introduction to Non-Classical Logic: From If to Is, 2nd ed, Cambridge University Press, 2008, ISBN 0-521-85433-4, p. 105.
6. ^ Dov M. Gabbay and Franz Guenthner (eds), Handbook of Philosophical Logic, Volume 6, 2nd ed, Springer, 2002, ISBN 1-4020-0583-0, p. 12.

Original courtesy of Wikipedia: http://en.wikipedia.org/wiki/False_(logic) — Please support Wikipedia.
A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia.
 1000000 videos foundNext >
 21 May 2011 Killersign's false logic doesn't disprove ChallengeKillersign's false logic doesn't disprove Challenge & its validity and other thoughts about false teachers & their heresies BTW Killersign are you 70 years o... Deedats' false logic- He was a woman ! Materialism is False. Logic exists with/without matterSo many youtubers cannot understand that immaterial things obviously exist. I quickly set this straight. Please comment if you'd like but please limit it to ... Mario creates a youtube poop phrase with his false logicMario and luigi's drawn-out, false logic that inadvertently created a well-known phrase. Boolean Logic - True and False Java ProgramIn this tutorial I build a small quick java program that will output the results of the truth table for boolean logic. A great way to learn Boolean logic tru... The False Logic of Those Using the Race Card over ObamacareA fellow called into Dennis Prager's show and purported that a "substantial number of Americans opposing Obama's healthcare plans were doing so because of hi... False logic is MEXmex false logic uses lag cactus to kill more BR mex. False-Logic Plays: Magicka (Part 6, Don't cross the streams!)Josh, Ryan, and Steve continue their play through of Magicka! False-Logic Plays: Magicka (Part 11, Trying to explode all over eachother's face)Josh, Ryan, and Steve continue their play through of Magicka! False-Logic Plays: Magicka (Part 9, So much failure!)Josh, Ryan, and Steve continue their play through of Magicka!
 1000000 videos foundNext >
 6 news items