大学逻辑学第2章-命题逻辑2.pptVIP

定理：如果公式?a是可反驳的,则a是重言式. [例3] 用真值树方法判定下面推理是否有效： 如果“世界上没有真理”这个命题是真的话，那么，它就是假的。因此，“世界上没有真理”这个命题是假的。 令p表示“世界上没有真理”，则上述推理的真值形式是 （p→?p）→ ? p 该真值形式是重言式，当且仅当它的否定是矛盾式。因此，只要通过构造真值树来判定 ?（（p→ ? p）→ ? p） 是否为矛盾式就可以了。 构造? ((p→ ? p)→ ? p)的真值树如下： （1） ? ((p→ ? p)→ ? p) √ 前提 （2） （p→ ? p） √ （1）分解 （3） ? ? p √ （1）分解 （4） p （3）分解 （5） ? p ? p （2）分解 × × 真值树封闭，推理有效。 定理：一个穷尽的树形图如果不是反驳（即其中有不闭的枝），则其初始结点上的公式是可满足的。 穷尽：当我们分解树形图时，最终会达到这样一种情形：图中没有被划掉的公式只有单个命题变元和命题变元的否定式，作到这种程度的树形图称为穷尽的树形图。 * * 推出矛盾：女仆作案并且不作案。 * * 例1：求(p→q)?p→q的合取范式。 解： 原式＝?((?p?q)?p)?q （第一步，削去蕴涵符） ＝(?(?p?q)??p)?q （第二步，内移否定符） ＝(p??q)??p?q （第二次内移否定符） ＝ (p??p?q)?(?q??p?q) （第三步，析取分配律） 5 命题自然推理 自然推理的基本思想是确定一些推理规则，这些规则具有保真性。也就是说，依据这些规则，从真前提只会推出真结论。因此，从所要判定的推理的前提出发，如果依据推理规则，能形式地推出预期的结论，这就说明该推理如果前提真，结论就一定真，因而是有效的。 自然推理区别于一般的公理化推理之处在于，作为推理出发点的只有推理规则，没有公理。这似乎更符合人们日常思维的习惯．因此，称之为自然推理。 自然推理法不仅仅用于判定命题推理的有效性，还用于谓词逻辑等推理的判定。所以，需要把命题自然推理与谓词自然推理等其他自然推理区别开来。 命题自然推理的基本规则 命题自然推理包括三条基本规则： 规则P：在一个推导的任意一步都可引入一个新前提。 规则T：如果在一个推导中有一些先行命题的合取重言地蕴涵命题A，则可以在该推导中引入命题A。 规则D：如果从一前提集和命题A能推出命题B，该前提集可推出“A→B”。 可以证明，这些规则都具有保真性。 规则T的运用要求熟练地掌握常用的重言蕴涵式和重言等值式．这点必须注意。 [例1] 饥饿或是胃部引起(p)，或是大脑中的血液循环引起(q)，或是全身的神经引起（r）。 如果饥饿由胃部引起，那么切断兔子胃部的神经联系就会阻止正常的进食(s)。 但进行这样的实验并没有阻止兔子的正常进合。 大脑的活动总是开始于神经末梢的被刺激(t)。 如果这样，饥饿就不会是大脑个的血液循环引起。 因此，饥饿是由全身的神经引起的。 解：设： p表示：“饥饿由胃部引起”， q表示“饥饿由大脑中血液循环引起”， r表示“饥饿由全身的神经引起”， s表示“切断兔子胃部的神经联系会阻止正常的进食”， t表示“大脑的活动总是开始于神经末梢的被刺激”。 构造自然推理如下： 该推理共五个前提,先依据规则P在推导中把它们依次引入，然后设法依据规则导出结论，注意推导格式。 [例2] 主犯或者是张三(p)，或者是李四(q)。如果王五也参与了作案(r)，那么主犯决不会是张三。因此，如果李四不是主犯，那么，王五就不会参与作案。 解：(符号设定如括号中所示) ?推理有效。 归谬规则 归谬法是一种常用的逻辑方法。相应地，命题自然推理中有一个导出规则：归谬规则。 归谬规则：如果从一前提集和一命题A的否定可以推出