逻辑学基础 (第五章)课件.ppt

A Course in Logic;第五章 模态逻辑;模态和模态词;模态的分类;模态形式;四种基本的模态命题;模态推理;传统模态逻辑的对当方阵 ;传统模态逻辑的对当方阵;传统模态逻辑的对当推理;模态对当推理的应用实例;模态六角图;实然命题与必然命题、可能命题间的推理;实然命题与必然命题、可能命题间的推理;直言模态命题;直言模态方阵图;直言模态方阵图的有效推理;直言模态方阵图的有效推理;直言模态方阵图的有效推理;直言模态方阵图的有效推理;现代模态逻辑的产生;模态命题的自然推理系统TN;模态命题的自然推理系统TN;自然推理系统TN的定理;自然推理系统TN的语法推出关系;自然推理系统TN的语法推出关系;（10）◇A （1）,（9）,→－ （11）A∧B H2(→＋的假设) （12）B （11）,∧－ （13）A∧B→B （11） — （12）,→＋（消去H2）（14）□(A∧B→B) （13）,□＋ （15）□(?B→?（A∧B)） （14）, R.P. （16）□?B→□?（A∧B) （15）,□M （17）?□?(A∧B) →?□?B （16）, R.P. （18）◇（A∧B）→◇B （8）,D◇ （19）◇B （1）,（18）,→－ （20）◇A∧◇B （10）,（19）,∧＋;自然推理系统TN的语法推出关系;自然推理系统TN的语法推出关系;自然推理系统TN的语法推出关系;自然推理系统TN的语法推出关系;自然推理系统TN的语法推出关系;模态词的语义解释;模态词的语义解释;克里普克模型;模态命题公式的语义分析;模态命题公式的语义分析;模态命题公式的语义分析;第五章 模态逻辑;规范命题;规范命题的种类;规范命题的种类;规范对当方阵 ;规范对当方阵的推理;现代规范逻辑系统DTN ;现代规范逻辑系统DTN;规范逻辑系统DTN的定理;规范逻辑系统TN的语法推出关系; (13)q H4(→＋的假设) (14)p∧q (12)，(13)，∧+ (15) q→p∧q (13) — (14),→+(消去H4) (16) p→(q→p∧q) (12) — (15), →+(消去H3) （17）Op∧Oq H5(→＋的假设) （18）Op (17)，∧_ （19）Oq (17)，∧_ （20）O(p→(q→p∧q)) (16) ，O＋ （21）Op→O(q→p∧q) (20)，OM （22）O(q→p∧q) (18)，(21)，→_ （23）Oq→O(p∧q) (22) ，OM （24）O(p∧q) (19)，(23) ，→_ （25）Op∧Oq →O(p∧q) (17) —(24) ，→_ (消去H5) （26）O(p∧q) ?Op∧Oq (11)，(25) ，?＋;规范逻辑系统TN的语法推出关系;规范逻辑系统TN的语法推出关系;规范逻辑系统TN的语法推出关系;规范逻辑系统TN的语法推出关系;道义算子的语义解释;道义算子的语义解释;道义命题公式的语义分析;道义命题公式的语义分析;道义命题公式的语义分析;本章小结