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:
“The spiritual kinship between Lincoln and Whitman was founded upon their Americanism, their essential Westernism. Whitman had grown up without much formal education; Lincoln had scarcely any education. One had become the notable poet of the day; one the orator of the Gettsyburg Address. It was inevitable that Whitman as a poet should turn with a feeling of kinship to Lincoln, and even without any association or contact feel that Lincoln was his.”
—Edgar Lee Masters (1869–1950)
“Histories make men wise; poets witty; the mathematics subtle; natural philosophy deep; moral grave; logic and rhetoric able to contend.”
—Francis Bacon (1561–1626)