Professional Documents
Culture Documents
Today's Topics Proof Terminology: Theorem Axioms Postulates Hypotheses Premises
Today's Topics Proof Terminology: Theorem Axioms Postulates Hypotheses Premises
Today's Topics Proof Terminology: Theorem Axioms Postulates Hypotheses Premises
Proof Terminology
Proof techniques
Theorem
Rules of inference
Michael Frank
4.1
CompSci 102
Michael Frank
An Inference Rule is
CompSci 102
Michael Frank
4.2
antecedent 1
antecedent 2
! consequent
4.3
CompSci 102
! means therefore
Michael Frank
4.4
p
! p$q
p"q
!p
p
q
! p" q
((ante.
((ante. 1)
1) " (ante.
(ante. 2)
2) " ) # consequent
CompSci 102
Michael Frank
4.5
p
p# q
!q
q
p# q
!p
CompSci 102
Rule of Simplification
Rule of Conjunction
Michael Frank
4.6
Michael Frank
CompSci 102
Rule of Addition
4.7
p# q
q #r
!p # r
p$q
p
!q
CompSci 102
Rule of hypothetical
syllogism
Rule of disjunctive
syllogism
Michael Frank
Aristotle
(ca. 384-322 B.C.)
4.8
Formal Proofs
CompSci 102
Michael Frank
4.9
CompSci 102
Michael Frank
4.10
Common Fallacies
%x P(x)
!P(o)
(substitute any specific object o)
P(g)
(for g a general element of u.d.)
!%x P(x)
&x P(x)
!P(c)
(substitute a new constant c)
P(o)
(substitute any extant object o)
!&x P(x)
CompSci 102
Michael Frank
4.11
Michael Frank
4.12
Circular Reasoning
A Correct Proof
CompSci 102
Michael Frank
4.13
Michael Frank
Michael Frank
4.14
CompSci 102
CompSci 102
4.15
Michael Frank
4.16
Michael Frank
4.17
CompSci 102
Michael Frank
4.18
CompSci 102
Michael Frank
4.19
CompSci 102
Michael Frank
4.20
Proof by Contradiction
Michael Frank
4.21
Theorem:
2 is irrational.
CompSci 102
Michael Frank
Proving Existentials
CompSci 102
Michael Frank
4.23
CompSci 102
Michael Frank
4.22
4.24
Another Constructive
Existence Proof
Michael Frank
4.25
CompSci 102
Michael Frank
4.26
The proof...
Theorem:
There are infinitely many prime numbers.
numbers.
Any finite set of numbers must contain a maximal
element, so we can prove the theorem if we can just show
that there is no largest prime number.
I.e.,
I.e., show that for any prime number, there is a larger
number that is also prime.
More generally: For any number, & a larger prime.
Formally: Show %n &p>n : p is prime.
CompSci 102
Michael Frank
4.27
CompSci 102
Michael Frank
4.28
CompSci 102
Michael Frank
We say, it is uncomputable.
uncomputable.
4.29
4.30
CompSci 102
Michael Frank
Alan Turing
1912-1954
3.31
CompSci 102
3.32
Limits on Proofs
E.g. Goldbach
Goldbachs conjecture:
conjecture: Every integer n&2
is exactly the average of some two primes.
%n!2 & primes p,q: n=(p
=(p+q)/2.
Michael Frank
4.33
CompSci 102
Michael Frank
4.34
Another example
Another Example
CompSci 102
Michael Frank
4.35
CompSci 102
Michael Frank
4.36