好的,我来给你解释一下反证法和归谬法,并分别给出它们的应用例子。 反证法 定义:反证法是先假设与某个论点相矛盾的观点成立,然后推出明显的错误或矛盾,从而间接地证明最初的论点。 步骤: 假设要证明的命题P是假的,也即非P。 从这个假设出发,进行逻辑推导,得出一个结果Q。 但事实上,结果Q与已知事实或公认真理...
岚心悟语 心染沉寂,岁月是禅。 归谬法和反证法 | 归谬法这个方法的形式是:如果p,那么q,如果p,那么非q,所以,非p。典型的例子就是《韩非子》里面楚国人卖矛和盾的故事。他说他的矛可以刺穿天下所有的盾,并且他的盾可以挡住天下所有的矛。我们用归谬法来证明他在说谎,是一个假命题。先符号化一下,论述起来简便...
归谬是(p→q)∧(p→¬q)⟹¬p 反证是(p→q)∧¬q⟹¬p
这个例子比较复杂。简单来说归谬法和反证法在形式逻辑上是一样的，但在实践中会比较好用一些，因为归谬法...
(广义)反证法，又叫归谬法，即，Reductio ad Absurdum，其中所谓的“谬”严格而言是指：中间推导出了“...