Documente Academic
Documente Profesional
Documente Cultură
05/10/2015
Proof
Methods of Proof
Muthukkaruppan Annamalai
mk@tmsk.uitm.edu.my
5/9/2015
PQ
P Q Q P; P P = false (contradiction)
PQ
0
0
1
1
0
1
0
1
1
1
0
1
PQ
0
0
1
1
0
1
0
1
1
1
0
1
1.
2.
5/9/2015
mk
Direct Proof
mk
1.
2.
5/9/2015
mk
05/10/2015
Proof by Cases
P Q, where P = P1 P2 Pn
5/9/2015
mk
1.
2.
5/9/2015
3.
Let x and y be non-zero integers. Prove that there is a nonzero integer z satisfying x2 + y2
5/9/2015
mk
mk
Exercise
2.
mk
1.
For all real numbers d, d1, d2, x, if d = min (d1, d2) and
x < d, then x < d1 and x < d2
2.
3.
5/9/2015
mk