01
直接验证法
直接验证法是我们比较常规的方法。
第一步:通用条件A+条件B结论D;
第二步:通用条件A+条件C结论D;
当上面两步都不能推出结论D时,才有第三步
第三步:通用条件A+条件B+条件C结论D;
02
特值证伪法
特值证伪法其实就是举反例说明条件不充分,这种方法是数学中证明一个命题不成立的常用方法。
如果一个命题是“所有的天鹅都是白的”,那么我们只需要找到一只黑天鹅就可以说明这个命题是不成立的。那么,对应到条件充分性判断这类题目,就是找到满足通用条件和条件(1)或(2)的一个例子,但不能推出题干说需证明的结论,由此可说明此条件不充分。
我们所举的反例通常有三种考虑方式:
① 常见的简单数字,例如0,1;
② 找满足条件的极端数字;
③ 三是找特殊情况。
在这里需要说明的是,特值法只能证明条件不充分,不能证明条件充分。如上面命题“所有的天鹅都是白的”,要用特值法证明它是充分的,需要验证所有的白天鹅,一只都不能少才能说明充分,这在判断充分性的时候经常是办不到的。
03
范围法
范围法主要是运用一个逻辑结论:小范围→大范围。当我们能把条件和结论进行等价变形成一个范围,我们就可以用范围法来解决。
注意:条件是小范围,题干是大范围。
第一步:“通用条件A+结论D”范围M;
第二步:“通用条件A+条件B”范围① ;
第三步:“通用条件A+条件C”范围② ;
第四步:分别验证范围① 、② 与范围M的大小关系:
当范围① 或 ② 是范围M的子集时,则说明条件充分;
当单独都不充分时,取范围① 和② 的交集,并验证其交集与M的范围大小关系,确定答案选项。