Professional Documents
Culture Documents
TA Kunyu (Quinn) He
Harris School of Public Policy
CAPP’20
𝑏
(√2 = 𝑎, when the greatest common divisor of a and b is 1;
𝑏2
then 𝑎2
= 2, or 𝑏 2 = 2𝑎2 ,
4. Since P and ¬P (or Q and ¬Q) cannot both be true, the assumption we made
in step 1 that ‘P is false’ is false, which in turn proves that P must be true.
1
Kunyu (Quinn) He CAPP’20
Example: