逻辑学第五章 模态逻辑.pptVIP

本章小结 基本内容 传统模态逻辑的对当推理。 模态逻辑TN系统的推理规则及定理的证明。 模态逻辑的可能世界语义学。 规范逻辑系统DTN的推理规则及定理的证明。 重难点 TN系统和DTN系统定理的证明。 可能世界语义学。 * * （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的语法推出关系 T5:A B├ (B A)→(A C) 证明: (1)A B A (2)□(A→B) (1), D (3)A→B H1(→＋的假设) (4)A H2(→＋的假设) (5)B （3）,（4）,→－ (6)B→C H3(→＋的假设) (7)C （5）,（6）,→－ (8)A→C （4） — （7）,→＋（消去H2） (9)(B→C)→(A→C) （6） — （8）,→＋（消去H3） (10)(A→B)→((B→C)→(A→C)) （3） — （9）,→＋（消去H1） (11)□((A→B)→((B→C)→(A→C))) （10）,□＋ (12)□(A→B)→□(B→C)→(A→C)) （11）,□M (13)□((B→C)→(A→C)) （2）,（12）, →－ (14)□(B→C)→□(A→C) （13）,□M (15)(B A)→(A C) (14), D * * 自然推理系统TN的语法推出关系 T6：□(A∧B)├□A∧□B 证明：(1)□(A∧B) A (2)A∧B H1 (→＋的假设) (3)A （2）,∧－ (4)A∧B→A （2） — （3）,→＋（消去H1） (5)□(A∧B→A) （4）, □＋ (6)□(A∧B)→□A （5）, □M (7)□A