逻辑与科学方法论[04-5].pptVIP

传统命题逻辑与现代命题逻辑 传统逻辑对命题推理判定的局限性 传统命题逻辑不能判定以下推理： 或者逻辑难学，或者没有多少学生喜欢它。如果数学容易学，那么逻辑不难学。因此，如果许多学生喜欢逻辑，那么数学并不太容易。 现代命题逻辑对命题推理有效性的判定 自然语言的符号化：从自然语言到真 值形式 对真值形式的判定 命题逻辑层次上自然语言的符号化 [例1 ]如果光强调团结，不强调斗争，或者光强调斗争，不强调团结，就不能达到既弄清思想又团结同志的目的。 令p表示强调团结，q表示强调斗争，r表示弄清思想，s表示团结同志（这里都省略了主语）。[例1 ]的真值形式是 （(p∧?q)∨(q∧?p)）→?（r∧s) 。 [ 例2]如果大张在孩子落水的现场但没有参加营救，那么，或者他看到了孩子落水但却装着看不见，或者他确实不会游泳。 令p表示大张在孩子落水的现场,q表示大张参加了营救， r表示大张看到了孩子落水，s表示大张装着看不见孩子落水，t表示大张会游泳。 [例2]的真值形式是 (p∧?q) →（（r∧s) ∨?t）。 大张看到了孩子落水，和大张装着看不见孩子落水，是两个没有真值关系的原子命题，必须用不同的命题变项表示。r 表示大张看到了孩子落水， ?r 表示大张没看到孩子落水，而不表示大张装着看不见孩子落水。 [例3]如果恐怖分子的要求能在规定期限内满足，则全体人质就能获释；否则，恐怖分子就要杀害人质，除非特种部队能实施有效的营救。 令p表示恐怖分子的要求能在规定期限内满足，q表示全体人质就能获释,r表示恐怖分子就要杀害人质，s表示特种部队能实施有效的营救。 例3 的真值形式是 (p→q)∧(?p→(?s→r))。 也可以写作 (p→q)∧（(?p∧ ?s)→r)。 可以证明，上述两式是等值的。 [例4]如果“世界上没有真理”这个命题是真的，则这个命题不是真的。因此，这个命题不是真的。 令p表示“世界上没有真理”这个命题是真的。 则上例的真值形式是 （p??p）??p [例5]如果上帝不能创造出一块他自己都不能搬动的石头，则他不是万能的；如果上帝能创造出一块他自己都不能搬动的石头，则他同样不是万能的。上帝或者能创造出一块他自己都不能搬动的石头，或者不能，二者必居其一。因此，总之，上帝不是万能的。 令p表示上帝能创造出一块他自己都不能搬动的石头，q表示上帝是万能的。则该推理的格式是 p→?q ?p→?q p∨?p --------- ∴ ?q 它的真值形式是 ((p→?q)∧ (?p→?q) ∧(p∨?p)) →?q [例6]如果我相信上帝，则如果上帝是存在的，我就有所得；如果上帝不存在，我也无所失。另一方面，如果我不相信上帝，则如果上帝存在，我有所失；如果上帝不存在，我无所得。因此，我如果相信上帝，我或者有所得，或者（至少）无所失；而如果我不相信上帝，则我或者有所失，或者（至多）无所得。 令p表示我相信上帝，q表示上帝是存在的，r表示我有所得，s表示我有所失。[例6]的真值形式是： ? p?（（q?r）?（?q??s）） ?p?（（q?s）?（?q??r）） ------------------------------ （p?（r??s））?（?p?（s??r）） 真值形式的类型 真值形式有三种基本类型： 重言式 矛盾式 可真式 [练习] 判别下列断定的正误： 1）重言式都是可真式，但可真式未必都是重言式。 2）一个真值形式A是可真式，当且仅当它的否定?A是不可真式，即矛盾式。 3）一个真值形式A是重言式，当且仅当它的否定?A是矛盾式。 4）一个真值形式A是可真式，当且仅当它的否定A不是重言式。 正：1、3、4 真值形式分为矛盾式和可真式，而可真式又分为重言式和非重言的可真式，重言式都是可真式，但可真式未必都是重言式。 一个真值形式A是重言式，当且仅当它的否定A是矛盾式。 一个真值形式A是可真式，当且仅当它的否定?A不是重言式。 真值形式的判定，就是确定它属于重言式、矛盾式和（非重言的）可真式中的哪一种。 在各种真值形式中，我们最感兴趣的是重言式。在命题逻辑中，重言式也称为逻辑规律。真值形式的判定，主要