01-命题逻辑-1.11.3.ppt

* 替换规则 代入规则和替换规则有两点区别： 代入规则是对重言式中的原子命题变元而言的。而替换规则可以对任意命题公式中的子公式施行 代入规则中的“代入”必须是在公式中处处代入而替换规则中可以对子公式进行部分替换，当然也可以全部替换。 * 首先明确我们只问了一个人，我们打答案都来自于这个人，假设这个人是A,我们所要研究的是A回答“是”或“不是”对我们来讲意味着什么： 若A(即被问者)是诚实的，B为说谎者，则A回答“是”意味着什么？回答“不是”又意味着什么？先说“是”：因为A诚实，所以B的回答就是A的回答，他会实话实说，因为B说谎成性，若这扇门不是死门他一定会说反话，说成是死门，所以B回答“是”意味着这扇门是生门；同样：若是死门，则B同样会说反话，说“不是”，所以B回答“不是”意味着这扇门是死门； 若A是说谎者，B即为诚实者，那么A回答“是”意味着什么？回答“不是”又意味着什么？还是先说“是”：因为B诚实，所以这扇门不是死门，他会回答“不是”，但A说话，他会把B的话扭曲成“是”；反过来，若这扇门是死门，B会回答“是”，A却会扭曲成“不是”。 这么一来两种情况结果一致，说“是”就是生门，说“不是”就是“死门” 我正在说谎 如果说这句话是对的，那么也就是说我说谎了，我们看看说谎的内容是什么“我说谎了”，这就不对了，就好像我问一个明明旷了课的“你”吧“你旷课了么”说谎的人会说“我没旷课”，诚实的人会说“我旷课了”，所以问说谎的人你说谎了么，他应该说我没说谎； 如果说这句话是错的，那么也就是我没说谎，可是这句话的内容却是“我正在说谎”，现在的局面是我说它对也不对，说它不对也不对。不能判断其真假，不具备二值逻辑的特点 * * 我们假定，说谎者总是说谎，而诚实的人总是说真话，那么，假设伊壁孟尼德是个诚实人，那么他的“名言”便是正确的，可他也是克里特人，所以也一定是说谎者； 假设伊壁孟尼德是个说谎者，那么他的“名言”便是错的，也就是克里特人不说谎，所以他也不是说谎者 如果A是诚实的人，他说的就是真的，那么照A说的内容推断，B说的就是一句谎话，B说的话是“上面是句真话”，别忘了B现在正在说谎，那么应该理解为“上面是句谎话”，现在A又变成说谎的人了，和我们一开始的假设不一致了；相反的你也会推出同样的情况。直至把你绕晕 * * * 有这个条件就会产生后一个分句所指出的结果, 也就是说，有A一定会产生B, 所以A? B * 缺少了这个条件就不能产生后面分句指出的结果----也就是说后面分句如果发生，可以肯定的说前面的分句发生了；所以B ? A 年满18岁了，但是是精神病患者或者被剥夺政治权利的罪犯，也没有选举权；但有选举权了一定能够推出年满18岁，后者推出前者 * 中国一定是共产党救的，但共产党不一定只救了中国 到了高三，学习生活一定会紧张，但学习生活紧张也有可能是要考研啦 * 如果……就……（只要……就…… 如果到了高三，学习生活就会变得紧张） A ? B 前句推出后句； 必须……才…… （只有……才…… 必须中国共产党，才能救中国）B ?A 。中国一定是共产党救的，但共产党比一定只救了中国，后句推出前句 除非……否则……（只有……才…… 除非是冬天，否则不会下雪。 只有冬天才会下雪） * Q ? ? P 只要下雨我就不进城 下雨可以得出我不进城的结论 P ? ? Q 只有不下雨我才进城 我进城推出不下雨 ? P ? ? Q 只要你不走，我就不留下 你不走可以得出我没留下的结论 Q ? P 只有你走我才留下 我留下一定是你走了 Ps:前面都按只要翻译，后面按只有翻译 强调一点：符号化时，P、Q后的语句应该主谓完整，不要P：进城 Q：下雨 * 只要不是冬天就不会下雪 ? P ? ? Q ； 只有冬天才会下雪 Q ? P 下雪可以得出是冬天的结论 只要 我骑车上班了，就是一个好天气 Q ? P； 只要天气不好，我就不骑车上班 ? P ? ? Q Ps:本页先翻译成只要……就……；再翻译只有……才…… * 假如上午不下雨，我将去看电影，否则就在家中读书(? P ? Q) ∧(P ? R) (? P ? Q)与(P ? R)缺一不可，否则Q或者R就没有说明了， (? P ? Q) 表示不下雨和看电影同时发生或者同时不发生； (P ? R)表示下雨和读书同时发生或不发生，两部分合起来包括了所有的情况，缺一不可 * 合式公式 我们通常用P、Q、R等表示原子公式，用A、B、C等表示命题公式。 命题公式的真假值一般是不确定的，当命题公式中的所有命题变元代以命题时，命题公式就变成命题。在不产生混乱的情况下，命题公式