第九章，论证与谬误第一节，论证第二节，反驳第三节，非形式谬误论证就是以真命题为条件确定另外一个命题为真的逻辑方法。如果论证是在一个逻辑形式系统中使用形式语言进行的，就是形式论证，简称为证明。例如现代逻辑学中对形式定理的证明。如果论证是在日常思维中使用自然语言进行的，就是非形式论证。例如日常推理和法庭的论辩都是非形式的论证。非形式论证是论证的源头，形式证明是对非形式论证的理论抽象。一，论证的结构在结构上，论题、论据和论证方式是论证的三要素。论题是需要确定真实性的命题。论据是被用来说明论题的真实性的命题。论证方式是论题与论据的联系形式。二，论证的种类，1，直接论证和间接论证直接论证是从论据的真实推出论题真实的论证.直接论证主要和观察、实验的经验证据相联系。例如，所有的金属都导电，直接证明就是观察实验铜、银、金.等被成为金属的元素都有导电的属性。间接论证间接论证是通过论题的假蕴涵逻辑矛盾或者从其它命题的否定推出论题真的论证方法。前者叫反正法，后者叫选言证法。反证法的特点是假设论题为假必然蕴涵逻辑矛盾，从而证明论题是真实的。选言证法是一个复杂的相容选言推理的否定肯定式推理，（如果结论是一个普
