第六章 演绎逻辑：模态逻辑

第一节 模态逻辑概述

第二节真值模态命题及其推理

第三节 规范模态命题及其推理

第四节模态命题逻辑自然推理方法
第一节 模态逻辑概述

二 模态逻辑的种类

一 模态逻辑的特征
一 模态逻辑的特征

模态逻辑是研究基于模态
词属性的命题及其推理的学科。
实施过程
二 模态逻辑的种类

模态逻辑有多种类型。如
果根据是否应用形式化方法，模
态逻辑可分为传统模态逻辑和现
代模态逻辑。
第二节 真值模态命题及其推理

二 真值模态推理

命题及其 真值模态直接推理

推理 真值模态三段论

一 真值模态命题
一 真值模态命题

三
真值模态命题即指包含
“必然”和“可能”这两个模
态词的、断定事物情况具有必
然性或可能性的命题。根据所
含模态词的不同，真值模态命
题分为必然命题与可能命题。
实施过程
二 真值模态推理

1. 真值模态直接推理

真值模态直接推理，是指
以一个真值模态命题为前提，根
据模态对当关系推出一个真值模
态命题作为结论的推理。例如：
实施过程
二 真值模态推理

2. 真值模态三段论

（ 1 ）必然真值模态三段论。
（ 2 ）必然与可能相结合的真
值模态三段论。
（ 3 ）混合真值模态三段论。
第三节 真值模态命题及其推理
规范模态直接推理

规范模态三段论推理
三
负命题的等值置换法

二
规范模态

一
规范模态
推理
命题
一 规范模态命题

规范模态命题是指包含必须、禁止、允许
三
等规范模态词的命题（以下简称规范命题）。
我们可以把必须、禁止、允许这些概念看作逻
辑常项（或算子）。含有这些常项的命题，如
“中华人民共和国公民必须遵守我国宪法和法
律”“允许外商到中国境内投资”“禁止在公
共场合吸烟”等，都是规范命题。
实施过程
二 规范模态推理

1. 规范模态直接推理

规范模态直接推理，是指以一个规范模态
命题为前提，根据规范模态对当关系推出一个
规范模态命题作为结论的推理。
实施过程
二 规范模态推理

2. 规范模态三段论推理

（ 1 ）必须规范模态三段论推理。
（ 2 ）必须与允许相结合的规范模态三段论推
理。
（ 3 ）混合规范模态三段论推理。
实施过程
二 规范模态推理

3. 负命题的等值置换法

规范命题的负命题的等值置换法，是
指根据规范命题间的矛盾关系进行的对错
值意义上的等值推理方法。按规范命题逻
辑方阵所表示的对错制约的矛盾关系，这
种推理有如下这些形式：
第四节 课题研究成果

形式语言
1. 推理规则
1. 初始符号 2. 形式推演
2. 合式公式的形成规则
推理规则与
推理方法
2
一 形式语言

1. 初始符号

（ 1 ）命题逻辑自然推理系统
NP 的所有符号
（ 2 ）模态命题逻辑自然推理
系统的特征符号： L 、 M 、
O、P、F
一 形式语言

2 ．合式公式的形成规则

（ 1 ）命题逻辑自然推理系统
NP 的所有形成规则
（ 2 ）模态命题逻辑自然推理
系统的特征形成规则：如果
A 、 B 是 公 式 ， 则
LA 、 MA 、 OA 、 PA 、 FA
是公式。
一 形式语言

3. 定义

Mp=df ﹁ L ﹁ p
M ﹁ p=df ﹁ Lp
Pp=df ﹁ O ﹁ p
P ﹁ p=df ﹁ Op
Fp=dfO ﹁ p
F ﹁ p=df Op
实施过程
二 推理规则与推理方法

1 ．推理规则

（ 1 ）命题逻辑自然推理系统 NP 推理的
所有规则
（ 2 ）模态命题逻辑自然推理的特征规则：
实施过程
二 推理规则与推理方法

2. 形式推演

模态命题逻辑自然推理中的一个推
理形式，相当于一个蕴涵式，推理的前提
与结论分别是蕴涵式的前件与后件。因此，
要证明一个模态命题逻辑自然推理的有效
性，就转化为对一个蕴涵式的演算。
THANKS
感谢各位