第5讲　综正当与分析法、反证法
第六章  不等式、推理与证实
命题条件
演绎推理
求证结论
充分条件