Contradiction in Formal Logic
- Note: The symbol (falsum) represents an arbitrary contradiction, with the dual tee symbol used to denote an arbitrary tautology. Contradiction is sometimes symbolized by "Opq", and tautology by "Vpq". The turnstile symbol, is often read as "yields" or "proves".
In classical logic, particularly in propositional and first-order logic, a proposition is a contradiction if and only if . Since for contradictory it is true that for all (because ), one may prove any proposition from a set of axioms which contains contradictions. This is called the "principle of explosion" or "ex falso quodlibet" ("from falsity, whatever you like").
In a complete logic, a formula is contradictory if and only if it is unsatisfiable.
Read more about this topic: Contradiction
Famous quotes containing the words formal and/or logic:
“There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.”
—Sara Lawrence Lightfoot (20th century)
“Our argument ... will result, not upon logic by itself—though without logic we should never have got to this point—but upon the fortunate contingent fact that people who would take this logically possible view, after they had really imagined themselves in the other man’s position, are extremely rare.”
—Richard M. Hare (b. 1919)