普通逻辑学课件解析.ppt

Logic logic logic logic logic （二）反驳的方法 直接反驳是用论据直接确定对方的论题或论据假。 间接反驳是通过论证某个命题真，再来确定被反驳的论题假。它又叫独立证明法。它是通过证明反论题真，来确定被反驳的论题假。 公式为：要反驳p，先设非p（两者不能同真）；通过证明非p真再推出p假，达到反驳p的目的。 独立证明法的特点：将反驳转化为证明；所设的反论题与被反驳的论题不能同真；证明反论题真时可以用各种论证方法；它的依据是矛盾律。 归谬法 归谬法是另一种有效的间接反驳方法。公式为： 要反驳p，（即原论题是要证明非p） 先假设p真，（反论题p真与原论题非p不能同真） 并从这个假设中推出荒谬的结论。据充分条件假言推理的否定式，达到反驳p的目的。 归谬法有三种用法： 一是从被反驳的命题中推出假命题； 二是从被反驳的命题中引申出两个自相矛盾的命题； 三是从被反驳的命题中引申出与其相矛盾的命题； 归谬法的思考（1—3） 归谬法是直接还是间接反驳方法？ 有人认为归谬法是直接反驳法。“归谬法在证明时是间接证明的方法，在反驳时则是直接反驳的方法。因为这时它是以对方论题或论据为前件（理由），推出一个（或几个）荒谬的后件(推断），然后，由否定后件到否定前件，从而论证了对方论题或论据的虚假的一种方法。”（见华东师大自考本p234） 也有人认为归谬法既不属于直接反驳也不属于间接