逻辑学第四章模态推理

④规范命题的真假问题
a.规范命题没有真值。 b.规范对当关系类似于真值对当关系。“真”
相当于“成立”，“假”相当于“不成立”。 c.真值对当关系：一命题真或假制约着另一命
题的真或假。 规范对当关系：一命题的成立或不成立制约 着另一命题的成立Байду номын сангаас不成立。
③规范对当关系
Op 反对 O ¬p （禁止p）
¬p与Mp 4.差等关系：Lp与Mp、Lp与p、p与Mp
L¬p与M¬p、L¬p与¬p、¬p与M¬p
二、模态对当关系推理
矛盾关系推理：12个有效式 反对关系推理：6个有效式 下反对关系推理：6个有效式 差等关系推理： 12个有效式
习题
1.甲：明天必然下雨。 乙：明天可能不下雨。
第二天果然下雨。 甲：我说对了，你错了。 乙：你没有说对，我也没有说错。
差 矛盾
差
等
等
Pp
下反对 P¬p
今天不必然不下雨 ¬ L¬ p
4.模态对当关系
反对
Lp
L¬p
差 矛盾 差
等
等
Mp
M¬p
下反对
5.模态六角对当关系
Lp p
反对 矛盾
L¬p ¬p
Mp 下反对 M¬p
模态六角对当关系
1.矛盾关系：Lp与M¬p、L¬p与Mp、p与¬p 2.反对关系：Lp与L¬p、Lp与¬p、L¬p与p 3.下反对关系：Mp与M¬p、p与M¬p、
谁对谁错，为什么？ 2.下列推理形式中有效的是（ ）。 (1) M¬p┣ ┫¬Lp (2) p┣ ┫ L¬p (3) LP┣ ┫ P (4) ¬p┣ Mp (4) (5) Lp ┣ ¬p
三、规范模态命题及其推理
1.规范模态命题 ①广义模态和狭义模态 ②规范模态命题定义及种类
必须命题模态词：必须、应当、应该…… 命题形式：Op、O¬p（禁止p） 允许命题模态词：允许、可以、容许…… 命题形式：Pp、P¬p
逻辑学第四章模态推理
3.模态命题中的模态词和否定词
①模态词在命题的前面、中间和后面一视同仁。如：
必然犯罪要受惩罚。
犯罪必然要受惩罚。
Lp
犯罪要受惩罚是必然的。
②在模态词前面的否定词是否定整个模态命题。
今天不可能下雨。 ¬ Mp
③在模态词后面的否定词是否定整个实然命题命题。 如：
今天可能不下雨。 M¬p