主演列表
剧情简介
永远的战友在线观看剧情介绍:
在这个故事中，曼索尔就是通过反证法，先证明“拉基雅是凶手”为假，从而证明“拉基雅不是凶手”为真。
一般而言，反证法有三个步骤：
第一，设立反论题，即先设立一个与需要被证明的论题相矛盾的论题。比如，曼索尔在为拉基雅辩护时，就先设立了“拉基雅是凶手”这一反论题。
第二，证明反论题为假。在这一步骤中，通常会采用充分条件假言推理，并采用由否定后件推出否定前件的“否定后件式”来证明反论题为假。比如，曼索尔在为拉基雅辩护时，就运用了两个充分条件假言推理：如果拉基雅是凶手（前件），那么至少有一颗子弹会击中被害人（后件）；如果拉基雅是凶手（前件），子弹一定是从正面击中被害人（后件）。然后，曼索尔根据事实断定这两个推理的后件为假推出前件“拉基雅是凶手”为假。
第三，证明原论题为真。在这一步骤中，通常会运用排中律。因为根据排中律可知，相矛盾的两个判断中必有一个为真。既然反论题为假，那么原论题必为真。比如，既然“拉基雅是凶手”为假，那么“拉基雅不是凶手”就必为真了。
如果用A表示论题，用非A表示反论题，间接证明的证明过程如下：