逻辑学导论（第4版）L10. 重言蕴涵式和重言等值式.pptxVIP

五、重言蕴含式、重言等值式;例如，以A、B为前提推出C，该推理是有效的，当且仅当，公式A∧B→C是重言式。; 第二章：命题逻辑; 第二章：命题逻辑; 第二章：命题逻辑; 上帝和石头悖论 如果上帝能够创造这样一块石头，那么他不是万能的，因为有一块石头他举不起来； 如果上帝不能创造这样一块石头，那么他不是万能的，因为有一块石头他不能创造； 上帝或者能创造这样一块石头或者不能， 所以，上帝不是万能的。 问题：这个推理能够证明上帝不是万能的吗？; 分析一： 如果上帝不是万能的， 则上帝不是万能的。 如果上帝不是万能的，则上帝不是万能的。 或者上帝不是万能的，或者上帝不是万能的。 所以，上帝不是万能的。 ; 分析二： “不能”的多重含义 即使石头推理不成立，我们也仍然面对一些有意思的问题，例如: 如何用理性的方式去证明上帝不是全能的？如何去跟上帝的信仰者讲理，反驳“上帝全能”的信仰？更一般地说， 如何去厘清理性与信仰（如对全知、全善和全能的上帝的信仰）的关系问题。 ; 德尔图良(Tertullian，约160—约220)： 因为荒谬，所以信仰！ 雅典与耶路撒冷有何相干？学园与教会之间有何和谐？异教徒与基督教徒之间有何一致？……不要再企图制造一种由斯多亚主义、柏拉图主义和辩证法组成的杂乱的基督教！除了耶稣基督，我们不需要好奇心，除了福音，我们不需要研究。相信了[福音]，就不需要相信任何别的东西！; 斯多亚派的推理，劝男人们都不要结婚： 如果你结婚， 你或者与一位 beauty 结婚，或者与一位 ugly 结婚； 如果她是 beauty，你将与人分享她； 如果她是 ugly，你将成天面对一个惩罚； 所以, 你或者将与人分享她，或者成天面对一个惩罚。但这两者都不是你所想要的， 所以，你不要结婚。 解析：这个推理所使用的是二难推理的破斥式，推理形式正确，但某些前提(理由)不真实。 ; 第二章：命题逻辑; 第二章：命题逻辑; 第二章：命题逻辑; 第二章：命题逻辑; 其中，［22］—［34］则表明了真值联结词的可互定义性。［22］［26］［28］表明，可以用?，∧去定义另外三个联结词∨，→，???［24］［27］［29］表明，可以用?，∨去定义另外三个联结词∧，→，?；［23］［25］［30］表明，可以用?，→去定义另外三个联结词∧，∨，?。 因此，从理论上说，我们有三组不同的联结词｛?，∧｝、｛?，∨｝、｛?，→｝，它们足以等价地表达一切公式。;用?，∧去定义另外三个联结词∨，→，?： (A∨B)=df ?(?A∧?B) (A→B)=df ?(A∧?B) (A?B)=df ?(A∧?B)∧?(B∧?A) ; 用?，∨去定义另外三个联结词∧，→，?： (A∧B)=df ?(?A∨?B) (A→B)=df (?A∨B) (A?B)=df ?(?(?A∨B)∨?(?B∨A));用?，→去定义另外三个联结词∧，∨，?： (A∧B)=df ?(A→?B) (A∨B)=df (?A→B) (A?B)=df ?((A→B) → ?(B→A)) 问题：是否可用?， ?去定义另外三个联结词∧，∨， →？是否可用联结词∧，∨， →和?的某种组合去定义?？; 用→和命题常项 ? 去定义另外四个联结词?，∧，∨，?： ?A = A→? A∧B = ?(A→?B) = (A→(B→?)) →? (A∨B)= (?A→B) = ((A→?)→B) (A?B)= ?((A→B)→?(B→A)) = …… ; 习题：设二元真值联结词“|”和“↓”的真值表如下。试分别用二者中的每一个单独定义?，∨，∧，→。 ;解： ?p = ?p∨?p = p|p p∧q = ?(?p∨?q) = ?(p|q) = (p|q)|(p|q) p∨q= ??p∨?? q = ?p|?q = (p|p)|(q|q) p→q = ?p∨q = p|?q = p|(q|q) p?q = (p|(q|q))∧(q|(p|p)) = …… ;解： ?p = ?p∧?p = p?p p∧q = ??p∧??q = ?p??q = (p?p)?(q?q) p∨q= ?(?p∧?q) = ?(p?q) = (p?q)?(p?q) p→q = ?(p∧?q) = ?(?p?q) = ?((p?p)?q)) = ((p?p)?q))?((p?p)?q)) p?q = …… ; 谢谢！