逻辑学第四章 节 模态推理.ppt

第四章 模态推理 一、模态命题 1.定义 2.模态命题种类 ①必然模态命题 模态算子：必然、必定、一定…… 命题形式：Lp（□p)、L?p(□ ?p) ②可能模态命题 模态算子：可能、或许、…… 命题形式：Mp(?p)、M?p(? ?p) p是实然命题 3.模态命题中的模态词和否定词 ①模态词在命题的前面、中间和后面一视同仁。如： 必然犯罪要受惩罚。 犯罪必然要受惩罚。 Lp 犯罪要受惩罚是必然的。 ②在模态词前面的否定词是否定整个模态命题。 今天不可能下雨。 ? Mp ③在模态词后面的否定词是否定整个实然命题命题。如： 今天可能不下雨。 M?p 今天不必然不下雨 ? L? p 4.模态对当关系 反对 Lp L?p 差 矛盾 差 等 等 Mp M?p 下反对 5.模态六角对当关系 Lp 反对 L?p 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、 ?p与Mp 4.差等关系：Lp与Mp、Lp与p、p与Mp L?p与M?p、L?p与?p、?p与M?p