Beruflich Dokumente
Kultur Dokumente
3 Methods of Proof
Methods of Proof
-Direct method
-Indirect Methods:
Showing a contrapositive
Proof by contradiction
Proof by counter example
If (p1 ∧ p2 ∧… .∧ p n ) ⇒q is a tautology
We can write:
P1
P2
P3
. This section is the hypothesis or premises
.
.
Pn
______________ This line means if…then
q Therefore q ( means therefore)
q is the conclusion
We can rewrite:
p⇒q If p then q
q ⇒r If q then r
________ if ….then
p ⇒r Therefore If p then r
Following is an argument for this tautology:
If you invest in the stock market, then you will get rich
If you get rich, then you will be happy
_______________________________________________
n is an integer
Prove that if n2 is odd then, n is odd
p: n2 is odd
q: n is odd
Counter Example:
(-3)2 = 32
-3 ≠ 3