Professional Documents
Culture Documents
http://faculty.matcmadison.edu/alehnen/weblogic/logproof.htm
Simplification: In a derivation if the conjunction of propositions p and q is a step, you may then conclude p.
Addition: In a derivation if proposition p is a step, you may then conclude the disjunction of p and any proposition q.
1 of 13
3/5/2012 8:01 AM
http://faculty.matcmadison.edu/alehnen/weblogic/logproof.htm
Disjunctive Syllogism: In a derivation if the disjunction of propositions p with q is a step and another step is the negation of p, you may then conclude q.
Excluded Middle Introduction (EMI): For any step in a derivation you may use the disjunction of any proposition p with the negation of p.
Universal Specification (US): If you have the assertion domain of the variable x .
where s
represents a constant particular object in the domain of the variable x . This means that s is a new temporary constant symbol, not a variable!
Universal Generalization (UG): If you produce a derivation of any member of a certain domain, you may then conclude Existential Generalization (EG): If you produce a derivation of member of the domain of the variable x, you may then conclude .
Rules of Replacement: In any derivation you may generate a new step by replacing in a previous step an occurrence of any of the following propositions with its stated ( ) equivalent proposition. Note: all of these statements when considered as biconditionals are tautologies as can be verified with the appropriate truth table. Title Commutative Property of OR Commutative Property of AND Associative Property of OR Associative Property of AND Distributive Property of OR Rule
2 of 13
3/5/2012 8:01 AM
http://faculty.matcmadison.edu/alehnen/weblogic/logproof.htm
Distributive Property of AND Double Negation Definition of Implication Definition of Equivalence DeMorgan's Rule: Negation of an OR DeMorgan's Rule: Negation of an AND Rules of Replacement for Quantified Predicates: Title Negation of a Universal Specification Negation of an Existential Specification Commutation of Universal Quantifiers Commutation of Existential Quantifiers There are additional rules of inference which are valid for A. These rules can be derived from the initial set of rules already given for A , so in some sense they are redundant. Nevertheless, they are pretty intuitive and very useful. Modus Ponendo Ponens (Modus Ponens for short) Rule (The parentheses is added to avoid confusion.)
Hypothetical Syllogism
3 of 13
3/5/2012 8:01 AM
http://faculty.matcmadison.edu/alehnen/weblogic/logproof.htm
Constructive Dilemma
Destructive Dilemma
Rules of Replacement: Transposition Exportation As an example consider the proposition which is equivalent to the rule of
inference Hypothetical Syllogism. A truth table establishing this statement as a tautology is shown below.
p q r
T T T T F F F F T T F F T T F F T F T F T F T F True True False False True True True True True False True True True False True True True False False False True False True True True False True False True True True True True True True True True True True True
(i.e., we won't take Hypothetical Syllogism as a given rule of inference). Such a derivation is given in the following proof. The propositions are numbered from 1 starting at the the first step. After each step is the rule of
4 of 13
3/5/2012 8:01 AM
http://faculty.matcmadison.edu/alehnen/weblogic/logproof.htm
inference used to generate that proposition. Number Proposition Rule Used 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. EMI Addition on 12. Associative Property of OR on 13. Commutative Property of OR on 14. Associative Property of OR on 15. Associative Property of OR on 16. Addition on 12. Commutative Property of OR on 18. Associative Property of OR on 19. Associative Property of OR on 20. Commutative Property of OR on 21. Commutative Property of OR on 22. EMI Addition on 9. Commutative Property of OR on 10. EMI Commutative Property of OR on 1. Addition on 2. Associative Property of OR on 3. Associative Property of OR on 4. Commutative Property of OR on 5. Associative Property of OR on 6. Associative Property of OR on 7.
5 of 13
3/5/2012 8:01 AM
http://faculty.matcmadison.edu/alehnen/weblogic/logproof.htm
Associative Property of AND on 27. 29. Distributive Property of OR on 28. 30. Distributive Property of OR on 29. 31. Distributive Property of OR on 30. 32. Commutative Property of OR on 31. 33. Commutative Property of OR on 32. 34. 35. 36. 37. 38. 39. 40. 41. Distributive Property of OR on 33. Distributive Property of OR on 34. Commutative Property of OR on 35. Commutative Property of OR on 36. Distributive Property of OR on 37. Double Negation on 38. Double Negation on 39. DeMorgan's Rule (~ of an OR) in 40.
6 of 13
3/5/2012 8:01 AM
http://faculty.matcmadison.edu/alehnen/weblogic/logproof.htm
DeMorgan's Rule (~ of an OR) in 41. DeMorgan's Rule (~ of an AND) in 42. Definition of Implication in 43. Definition of Implication in 44. Definition of Implication in 45. Definition of Implication in 46.
Here the abbreviation QED at the bottom of the sequence of propositions is a signal that the derivation is complete. QED stands for Quod Erat Demonstrandum (Latin for "which was to be shown"). This proof, while correct according to the "rules of the game" of the axiomatic system A, is nearly impossible to understand! Even if you follow each and every step, it is quite easy to lose your way within the tangle of so many propositions. The overall strategy of the derivation is certainly not apparent. It would seem that so many trees have obscured the sight of the forest! More people would be convinced of the truth of this proposition by the eight-row truth table than by the formal proof. It must also be remembered that this is a proof of a rather elementary and self-evident result. Imagine the length and complexity of a difficult theorem! The situation is very analogous to programming a computer in its rather restricted machine language. Programs in machine language tend to be very long and hard to follow. To quote Roger Penrose in Shadows of the Mind: A Search for the Missing Science of Consciousness, Oxford University Press, 1994, page 72, "Rules can sometimes be a partial substitute for understanding, but they can never replace it entirely". Informal Proof For all of these reasons strictly formal proofs are rarely used in practice. Instead a "higher level" more "human" language consisting of ordinary English (or any other "natural" language) and the rules of inference is employed. Similar steps are combined or skipped but noted. Some of the simpler details are left to the reader. This rather "loose" style of proof is called "informal proof" and is used throughout mathematics. A "good" informal proof outlines the main ideas or constructions of the corresponding formal proof but with less detail and more clarity. Ideally anyone who reads the informal proof could, if required, supply the missing steps and structure of the corresponding formal proof. As an example here is an informal version of the proof of the Hypothetical Syllogism proposition done formally above. By EMI and addition the following four propositions are true.
Using the Associative and Commutative Properties of OR these can all be rearranged as follows. . Forming the conjunction of these four propositions and using the Distributive Property of OR to "factor out" gives , which by the Commutative Property of OR is
7 of 13
3/5/2012 8:01 AM
http://faculty.matcmadison.edu/alehnen/weblogic/logproof.htm
By Double Negation and DeMorgan's Rule for the negation of a disjunction we have
While this proof could certainly be improved, it is considerably shorter and clearer than the corresponding formal proof! Conditional Proof Many if not most theorems are stated as conditionals of the form , where the conclusion q follows as an implication of the premise p. Thus, if we can establish that q follows from p, the conditional must be true. This observation is the basis for the method of Conditional Proof (CP). Any theorem proved by CP could also be proven by Formal Proof, so CP need not be assumed as an additional Rule of Inference. On the other hand, conditional proofs are often very intuitive and easy to understand. Furthermore they illustrate in a very direct way the logical connection between the premise p and the conclusion q. The form of CP is as follows:
The right arrow before p indicates that this statement is the initial premise of the CP. The initial premise and all statements up to and including the conclusion q are prefaced by a vertical line meaning these statements are "under the assumption" of p. The horizontal line "closes off" the steps under the assumption of p. As an example consider the following conditional proof of the Hypothetical Syllogism proposition.
8 of 13
3/5/2012 8:01 AM
http://faculty.matcmadison.edu/alehnen/weblogic/logproof.htm
Note: This proof makes use of a Conditional Proof "nested" within a Conditional Proof! This is legitimate as long as each nested initial premise is closed off before any preceding initial premises are closed off. The structure of this proof makes a very convincing demonstration of the validity of the rule of Hypothetical Syllogism. Indirect Proof A special case of Conditional Proof is to assume p and then reach as a contradiction the conjunction of q and ~ q for some sentence q. This serves to establish that p was not true to begin with. Hence, we conclude ~ p. This method is attributed to Plato and often goes by the Latin name Reductio ad absurdum ("reduce to the absurd"). The method of Indirect Proof is related to the reasoning used in Hypotheses Testing in statistics (an application of Inductive Logic), where one assumes the Null Hypothesis and then tries to show that it can't be supported by the available empirical evidence. A formal justification of the method of Indirect Proof is presented below.
A famous example of Indirect Proof is Euclid's theorem that there are infinitely many prime numbers. A prime number is an integer larger than 1 that has a non-zero remainder when it's divided by any integer other than itself that's greater than 1. In this proof we take as given the Fundamental Theorem of Arithmetic: every integer greater than 1 can be expressed uniquely (apart from a reordering of factors) as a product of its prime factors. If the integer is itself prime, it is the only factor in the product. For example, , and the only way 3560 can be written as a product of prime factors is to have exactly three factors of 2, one factor of 5, one factor of 89, and no other factors.
9 of 13
3/5/2012 8:01 AM
http://faculty.matcmadison.edu/alehnen/weblogic/logproof.htm
Assume there are a finite number, n, of prime numbers. Call them number
. This number is larger than all of the existing prime numbers and is
therefore not a prime. All of the n prime numbers when divided into L leave a remainder of 1. Since L is not itself prime, it has no prime factors in contradiction to the Fundamental Theorem of Arithmetic. Therefore, our assumption of a finite number of primes is false. There must be an infinitely many prime numbers. Proof by Counter Example Suppose you want to establish
. By
for which P(x) is false. This is often a good strategy when confronted with a universal statement whose validity you suspect. Maybe it's not true! All you have to do is find a case that doesn't work. For example, consider the assertion that for all integers n, n > 1, there are no positive integer solutions for x, y, and z to the equation . Since for n = 2, x = 3, y = 4, and z = 5 is a counter example, the assertion must be false. For n > 2, however, the statement is true and is known as Fermat's Last Theorem. This famous conjecture remained unresolved until Andrew Wiles finally proved it in 1994. Mathematical Induction The principle of Mathematical Induction, despite the word "induction", is a method of Deductive Logic. It is used to prove sentences of the form . the domain of n is the set of Natural Numbers (the positive integers {1, 2, 3, 4, 5, 6, natural number, and P(n) is a predicate. The principle can be stated as follows:
Here
} ) , b is a specific
The idea behind Mathematical Induction is that we establish two facts. 1. Base Case 2. Induction Step is true. This is usually established by substitution of b into the predicate P(x).
. This is usually
(this assumption is called the Induction Hypothesis) and show by valid steps that P(n+1) follows. Note: Since we are trying to establish a Universal Generalization, it is crucial that n be a free variable representing any natural number. Once we have these two facts we can construct the following "argument".
10 of 13
3/5/2012 8:01 AM
http://faculty.matcmadison.edu/alehnen/weblogic/logproof.htm
This proof never stops. It is an infinite string of implications. It seems reasonable to make the assertion that we have established P(n) for all natural numbers greater than or equal to b. Mathematical Induction is not a rule of inference of predicate logic. Its validity must be assumed in addition to the rules of logic already presented. Mathematical Induction is sometimes considered as a rule of "metalogic". This means that it's a rule we can use to prove properties about axiomatic systems rather than just proving statements within axiomatic systems. Sometimes Mathematical Induction is pictured as a line of dominoes set up so that each domino falling over causes the next to fall (this is the Induction Step). Thus, knocking over the first domino (the Base Case) causes all of the dominoes to fall. The only problem with this visualization is that in Mathematical Induction we've got infinitely many dominoes which is beyond our experience! As an example of Mathematical Induction we can prove that the Rule of Replacement known as the Distributive Property of OR can be extended to a disjunction with a conjunction of n sentences.
Base Case: n = 2 is just the accepted Distributive Property of OR. Induction Step: Assume is true. Now consider . By the Associative Property of OR this is equivalent to . Using the Distributive Property of OR this is equivalent to . Using the equivalence stated in the Induction Hypothesis gives the equivalent expression. . Finally, by the Associative Property of AND this last expression is equivalent to . This completes the Induction Step. As a second example consider the formula for the sum of the cubes of the first n natural numbers.
Here
stands for summation. The variable j is a dummy variable indexing the terms in the sum which in this case start at
11 of 13
3/5/2012 8:01 AM
http://faculty.matcmadison.edu/alehnen/weblogic/logproof.htm
). S(n) is a function (more about these in Section V) whose input is n and whose output is the stated formula. This formula can be verified by computation for any specific value of n. For example, .
To verify this formula for any natural number requires Mathematical Induction. Base Case: n = 1
Consider
This establishes the Induction Step. Hence the formula is valid for any natural number n. Mathematical Induction is an indispensable tool of mathematics, but it generally only validates results that we arrive at by other means. In the above example, Mathematical Induction verifies the formula for S(n) but does not come up with the formula to begin with! In some problems a modified version of Mathematical Induction called "Strong" or "Complete" Mathematical Induction is used. The version presented above is then called "Weak" or "Ordinary" Mathematical Induction. Complete Mathematical Induction can be formulated as follows:
In fact, Complete Mathematical Induction can be derived from Ordinary Mathematical Induction by defining Q(n) to be the predicate . Certainly , so Ordinary Induction on Q(n) establishes Complete Induction on P(n). For some theorems the use of Complete Mathematical Induction makes the argument easier to follow.
12 of 13
3/5/2012 8:01 AM
http://faculty.matcmadison.edu/alehnen/weblogic/logproof.htm
IV. Methods of Proof <----------> Table of Contents <----------> V. Nave Set Theory
13 of 13
3/5/2012 8:01 AM