北京大学逻辑学教程解析.pptVIP

会计学;第五章模态逻辑;模态和模态词;模态的分类(fēnlèi);模态形式(xíngshì);四种(sìzhǒnɡ)基本的模态命题;模态推理(tuīlǐ);传统(chuántǒng)模态逻辑的对当方阵;传统(chuántǒng)模态逻辑的对当方阵;传统(chuántǒng)模态逻辑的对当推理;模态对当推理的应用(yìngyòng)实例;模态六角(liùjiǎo)图;实然(shírán)命题与必然命题、可能命题间的推理;实然命题与必然命题、可能(kěnéng)命题间的推理;直言(zhíyán)模态命题;直言(zhíyán)模态方阵图;直言模态方阵图的有效(yǒuxiào)推理;直言模态方阵图的有效(yǒuxiào)推理;直言模态方阵(fānɡzhèn)图的有效推理;直言(zhíyán)模态方阵图的有效推理;当代(xiàndài)模态逻辑的产生;模态命题(mìngtí)的自然推理系统TN;模态命题(mìngtí)的自然推理系统TN;自然推理系统(xìtǒng)TN的定理;自然推理(tuīlǐ)系统TN的语法推出关系;自然(zìrán)推理系统TN的语法推出关系;（10）

A （1）,（9）,→－

（11）A∧B H2(→＋的假设(jiǎshè))

（12）B （11）,∧－

（13）A∧B→B