Methods of proof 证明方法 · Edexcel IAL Mathematics P2(考试代码 WMA12) | PassMarkedu A-Level

本节介绍四种基础证明与证伪方法。穷举法在有限情形集上逐一验证;奇偶论证把整数命题拆成奇数通式 $(2n+1)$ 与偶数通式 $2n$,并利用“全体整数非奇即偶”合并结论。全称命题可用一个反例证伪。演绎不等式证明从已知事实(如平方非负 $(x-y)^{2}\geqslant 0$)出发,并在除以含参式或保持不等号方向时说明所用条件(例如 $xy>0$)。

能用穷举法(proof by exhaustion)在有限情形下证明命题。