In traditional Aristotelian logic, deduction or deductive reasoning is inference in which the premises, if true, purport to guarantee the truth of the conclusion, as opposed to abductive and inductive reasoning, where the premises are offered as giving some evidence for the conclusion, but not guaranteeing its truth.
We do need to say that in a deductive inference the premises "purport to guarantee the conclusion" because we need to make a place for those inferences that purport to be deductive but fail to actually achieve that status—i.e. they are invalid deductive inferences—because they are false deductions. Examples of such false or invalid deductive inferences are denying the antecedent (If p then q. Not p. Therefore not q.) and affirming the consequent (If p then q. q is true. Therefore p is true.). Those particular invalid inferences mimic the valid deductions of affirming the antecedent (i.e. Modus Ponens) and denying the consequent (i.e. Modus Tollens).
A valid argument is one that has a structure or form such that is impossible for the premises to be true and the conclusion to be false.
The conclusion of a valid deductive inference is necessitated by the premises. In inductive and abductive inferences, the premises can be true while the conclusion is false—thus, from a strict logical point of view, all inductive and abductive inferences are, strictly speaking, invalid. An example of an inductive inference is "All samples of silver we examined melted at 961.78 °C, thus all samples of silver in the universe will melt at 961.78 °C." An example of an abductive inference is "My car would not start after the rainstorm. If the rain produced an electrical short in my car, that would explain why it failed to start after the rainstorm. Therefore the rainstorm produced an electrical short in my car that caused it not to start."
Another way this is sometimes described is that deduction is an inference in which the conclusion is of no greater generality than the premises, as opposed to abductive and inductive reasoning, where the conclusion is of greater generality than the premises. Other theories of logic define deductive reasoning as inference in which the conclusion is just as certain as the premises, as opposed to inductive reasoning, where the conclusion can have less certainty than the premises. In whatever way it is described, the conclusion of a deductive inference is necessitated by the premises—the premises can't be true while the conclusion is false. But in inductive and abductive inferences, it is possible for the premises to be true but the conclusion nevertheless false.
This is invalid because the premises fail to establish commonality between membership in the opposition party and being a criminal. This is the famous fallacy of the undistributed middle.
This is invalid because it is an example of the fallacy of denying the antecedent. In this case you may be convicted for another crime you committed—such as arson—even if you did not commit fraud.
This is invalid because it is an example of the fallacy of affirming the consequent. In the case at hand it is a camera, but it may actually be a Contax or some other camera that is not a Leica.
|Basic argument forms of the calculus|
|Modus Ponens||[(p → q) ∧ p] ⊢ q||if p then q; p; therefore q|
|Modus Tollens||[(p → q) ∧ ¬q] ⊢ p||if p then q; not q; therefore not p|
|Hypothetical Syllogism||[(p → q) ∧ (q → r)] ⊢ (p → r)||if p then q; if q then r; therefore, if p then r|
|Disjunctive Syllogism||[(p ∨ q) ∧ ¬p] ⊢ q||Either p or q; not p; therefore, q|
|Constructive Dilemma||[(p → q) ∧ (r → s) ∧ (p ∨ r)] ⊢ (q ∨ s)||If p then q; and if r then s; but either p or r; therefore either q or s|
|Destructive Dilemma||[(p → q) ∧ (r → s) ∧ (¬q ∨ ¬s)] ⊢ (p ∨ r)||If p then q; and if r then s; but either not q or not s; therefore rather not p or not r|
|Simplification||(p ∧ q) ⊢ p,q||p and q are true; therefore p is true|
|Conjunction||p, q ⊢ (p ∧ q)||p and q are true separately; therefore they are true conjointly|
|Addition||p ⊢ (p ∨ q)||p is true; therefore the disjunction (p or q) is true|
|Composition||[(p → q) ∧ (p → r)] ⊢ [p → (q ∧ r)]||If p then q; and if p then r; therefore if p is true then q and r are true|
|De Morgan's Theorem (1)||(p ∧ q) ⊢ (p ∨ q)||The negation of (p and q) is equiv. to (not p or not q)|
|De Morgan's Theorem (2)||(p ∨ q) ⊢ (p ∧ q)||The negation of (p or q) is equiv. to (not p and not q)|
|Commutation (1)||(p ∨ q) ⊢ (q ∨ p)||(p or q) is equiv. to (q or p)|
|Commutation (2)||(p ∧ q) ⊢ (q ∧ p)||(p and q) is equiv. to (q and p)|
|Association (1)||[p ∨ (q ∨ r)] ⊢ [(p ∨ q) ∨ r]||p or (q or r) is equiv. to (p or q) or r|
|Association (2)||[p ∧ (q ∧ r)] ⊢ [(p ∧ q) ∧ r]||p and (q and r) is equiv. to (p and q) and r|
|Distribution (1)||[p ∧ (q ∨ r)] ⊢ [(p ∧ q) ∨ (p ∧ r)]||p and (q or r) is equiv. to (p and q) or (p and r)|
|Distribution (2)||[p ∨ (q ∧ r)] ⊢ [(p ∨ q) ∧ (p ∨ r)]||p or (q and r) is equiv. to (p or q) and (p or r)|
|Double Negation||p ⊢ p||p is equivalent to the negation of not p|
|Transposition||(p → q) ⊢ (q → p)||If p then q is equiv. to if not q then not p|
|Material Implication||(p → q) ⊢ (p ∨ q)||If p then q is equiv. to either not p or q|
|Material Equivalence (1)||(p ↔ q) ⊢ [(p → q) ∧ (q → p)]||(p is equiv. to q) means, (if p is true then q is true) and (if q is true then p is true)|
|Material Equivalence (2)||(p ↔ q) ⊢ [(p ∧ q) ∨ (¬q ∧ ¬p)]||(p is equiv. to q) means, either (p and q are true) or ( both p and q are false)|
|Exportation||[(p ∧ q) → r] ⊢ [p → (q → r)]||from (if p and q are true then r is true) we can prove (if q is true then r is true, if p is true)|
|Importation||[p → (q → r)] ⊢ [(p ∧ q) → r]|
|Tautology||p ⊢ (p ∨ p)||p is true is equiv. to p is true or p is true|
In more formal terms, a deduction is a sequence of statements such that every statement can be derived from those before it. It is understandable, then, that this leaves open the question of how we prove the first sentence (since it cannot follow from anything). Axiomatic propositional logic solves this by requiring the following conditions for a proof to be met:
A proof of α from an ensemble Σ of well-formed-formulas (wffs) is a finite sequence of wffs:
and for each βi (1 ≤ i ≤ n), either
Different versions of axiomatic propositional logics contain a few axioms, usually three or more than three, in addition to one or more inference rules. For instance, Gottlob Frege's axiomatization of propositional logic, which is also the first instance of such an attempt, has six propositional axioms and two rules. Bertrand Russell and Alfred North Whitehead also suggested a system with five axioms.
For instance a version of axiomatic propositional logic due to Jan Lukasiewicz (1878-1956) has a set A of axioms adopted as follows:
and it has the set R of Rules of inference with one rule in it that is Modu Ponendo Ponens as follows:
The inference rule(s) allows us to derive the statements following the axioms or given wffs of the ensemble Σ.
In one version of natural deductive logic presented by E.J. Lemmon that we should refer to it as system L, we do not have any axiom to begin with. We only have nine primitive rules that govern the syntax of a proof.
The nine primitive rules of system L are:
In system L, a proof has a definition with the following conditions:
Then if no premise is given, the sequent is called theorem. Therefore, the definitions of a theorem in system L is:
or in other words:
An example of the proof of a sequent (Modus Tollendo Tollens in this case):
|p → q, ¬q ⊢ ¬p [Modus Tollendo Tollens (MTT)]|
|Assumption number||Line number||Formula (wff)||Lines in-use and Justification|
|1||(1)||(p → q)||A|
|3||(3)||p||A (for RAA)|
|1,2,3||(5)||q ∧ ¬q||2,4,∧I|
An example of the proof of a sequent (a theorem in this case):
|⊢p ∨ ¬p|
|Assumption number||Line number||Formula (wff)||Lines in-use and Justification|
|1||(1)||¬(p ∨ ¬p)||A (for RAA)|
|2||(2)||¬p||A (for RAA)|
|2||(3)||(p ∨ ¬p)||2, ∨I|
|1, 2||(4)||(p ∨ ¬p) ∧ ¬(p ∨ ¬p)||1, 2, ∧I|
|1||(5)||¬¬p||2, 4, RAA|
|1||(7)||(p ∨ ¬p)||6, ∨I|
|1||(8)||(p ∨ ¬p) ∧ ¬(p ∨ ¬p)||1, 7, ∧I|
|(9)||¬¬(p ∨ ¬p)||1, 8, RAA|
|(10)||(p ∨ ¬p)||9, DN|
Each rule of system L has its own requirements for the type of input(s) or entry(s) that it can accept and has its own way of treating and calculating the assumptions used by its inputs.
All logic textbooks—and there are now hundreds of them—deal with deduction and inference. Here are some representative ones:
All links retrieved July 27, 2013.
New World Encyclopedia writers and editors rewrote and completed the Wikipedia article in accordance with New World Encyclopedia standards. This article abides by terms of the Creative Commons CC-by-sa 3.0 License (CC-by-sa), which may be used and disseminated with proper attribution. Credit is due under the terms of this license that can reference both the New World Encyclopedia contributors and the selfless volunteer contributors of the Wikimedia Foundation. To cite this article click here for a list of acceptable citing formats.The history of earlier contributions by wikipedians is accessible to researchers here:
Note: Some restrictions may apply to use of individual images which are separately licensed.