第七章 模态判断及其推理
合集下载
逻辑学第七章.ppt
2021/3/2
23
下列推理属于何种推理？是否正确？为什么？
1．当事人在法庭上可以提出新的证据，所以，当事人在法庭 上也可以不提出新的证据。
2．最早印刷纸币的人可能是古代中国人，最早使用纸币必然 是最早印刷纸币的人，所以，最早使用纸币的人必然是古代中国人。
3．想出国留学必须学外语，我不想出国留学，所以，我不必 须学外语。
第七章 模态逻辑
教学重点与难点
模态命题及其种类 模态命题的真假与可能世界的理论 基本模态命题之间的对当关系 道义命题及其种类 模态命题推理、道义命题推理在法律中的应用
2021/3/2
1
谁打了纳粹军官
第二次世界大战德国占领法国期间，在法国巴黎一 家旅馆里，四个人同乘一部电梯。其中一位是穿军 装的纳粹军官，一名是当地的法国人，他是地下抵 抗组织的成员，第三位是个漂亮的少女，还有一位 是老妇人，他们相互都不认识。突然，电源发生故 障，电梯停住不动，电灯也熄灭了，电梯内漆黑一 团。这时传出一声接吻的声音，随后是拳打在脸上 的声音。过了一会儿，电灯亮了，纳粹军官的一只 眼睛下面出现了一块青紫的伤痕。
2021/3/2
3
逻辑分析：
原来，这位聪明的法国小伙子先吻了一下自己 的手，然后打了纳粹军官一拳。这里，我们感 兴趣的是其中所出现的判断“一定是他吻了这 位老妇人或那位小伙子”，“可能是这个法国 男子想吻这位姑娘”。第一个判断是断定他吻 了这位老妇人或那位小伙子的必然性，而第二 个判断则断定这个法国男子想吻这位姑娘的可 能性。这种断定事物可能性与必然性的判断就 是模态命题。
2021/3/2
7
模态的种类
（1）狭义模态和广义模态 （2）客观模态和主观模态 （3）逻辑模态和非逻辑模态 （4）命题的模态与事物的模态
公安部规划大学教材逻辑学教程经典教案第七章模态命题及其推理 (1)
第七章模态命题及其推理第一节模态命题一、什么是模态命题?模态命题，有广义和狭义之分，广义是指一切包含有模态词的命题，狭义的主要是指其中包含有“必然”和“可能”这类模态词的命题。
定义：模态命题是反映事物可能性或必然性的命题。
例如：1、社会必然不断进步。
2、明天可能不下雨这些都是模态命题。
例1反映了社会进步的必然性。
例2反映了“明天不下雨具有可能性”。
二、模态命题的种类根据命题所反映的是事物可能性还是必然性，可以把模态命题分为可能命题和必然命题。
1、可能命题。
反映事物情况可能性的命题是可能命题。
可能命题又分为两种：肯定可能命题和否定可能命题。
（1）肯定可能命题：是反映事物情况可能存在的命题。
例1、火星上可能有生命存在。
例2、今天可能下雨。
前者反映火星上存在生命具有可能性，后者反映今天下雨的具有可能性。
公式：“S可能是P”或“S是P是可能的”简化为：“可能P”或“◇P”（在这里，P表示命题，“◇”模态算子，表示“可能”）。
（2）否定可能命题：是反映事物情况可能不存在的命题。
例1、明天可能不下雨。
例2、他可能没有20岁。
前者反映“明天下雨”这种情况可能不存在，后者反映“他有20岁”这种情况可能不存在。
公式：“S可能不是P”或“S不是P是可能的”，也可简化为“可能┒P”（即可能非P“或”◇┒P）。
2、必然命题。
反映事物情况必然存在的命题是必然命题。
（1）肯定必然命题。
是反映事物情况必然存在的命题。
例如：a.生物必然进行新陈代谢。
b.我国的四个现代化必然能实现。
前者反映了“生物进行新陈代谢”的必然性，后者反映了，“我国实现四个现代化的必然性”。
公式：“S必然是P”或“S是P是必然的”简化为“必然P”，“或□P”，（“□”是模态算子，表示“必然”）。
（2）否定必然命题。
是反映事物情况必然不存在的命题，例：a．谎言是必然不能长久骗我的。
b. 客观规律不依人们意志为转移是必然的。
前者反映了“谎言能长久骗人”是必然不存的。
7形式逻辑-第七章 模态命题及其推理
d.根据模态命题的差等关系的直接推理
□p→◇p； ﹁◇p→﹁□p；
□﹁p→◇﹁p； ﹁◇﹁p→﹁□﹁p。
⑵根据“实然”和“必然”、“可能”的关系进行推 演的模态推理。
□p→p；p→◇p；□﹁p→﹁p；﹁p→◇﹁p。 ⑶模态三段论
模态三段论就是在三段论中引入模态词而进行的 推理。
模态三段论推理要遵循“结论从弱”的原则∶从较 强前提可以推出较弱的结论，但不能由较弱前提可以 推出较强的结论。（必然命题最强，实然命题次之， 可能命题最弱）
模态三段论又有两种形式： A.纯模态三段论，即其前提全都是模态命题的模态推 理。它们或是由同一种模态命题构成，或是由不同种 的模态命题构成。具体地说有纯必然模态三段论、纯 可能模态三段论和必然与可能结合的模态三段论等。 当前提是由不同种的模态命题组成时，推理的结论应 该同前提中那个确然程度较低的模态命题相一致。
根据对当关系，同样可以由一个模态命题的真或假， 来确定与其同素材的另外几个模态命题的真或假。
必然p
必然非p
可能p
可能非p
□p、□﹁p、◇p、◇﹁p之间在真假值上有以下四 种关系情况∶
⑴反对关系∶ □p与□﹁p
⑵矛盾关系∶ □p与◇﹁p；□﹁p与◇p
⑶差等关系∶ □p与◇p；□﹁p与◇﹁p ⑷下反对关系∶ ◇p与◇﹁p
第七章 模态命题及其推理
一、模态命题
1.狭义模态命题及其结构
模态命题就是断定思维对象不同确然程度的命题。
模态命题在结构上的特点是：它总是包含有“可能” 或“必然”之类的模态词。
例如：今天晚上他一定不会来。
这部小说可能畅销。
我们主要讨论逻辑上的“必然”和“可能”两种模 态，即真值模态命题及其推理。所以真值模态命题又 称断定思维对象之可能性或必然性的命题。在现代逻 辑中，用“□”表示“必然”，用符号“◇”表示 “可能”,用p,q,r,…表示命题。它的公式为：
模态命题及其推理
2020/5/1
Jinlong
5
第一节 模态命题
2 模态命题的种类 对模态命题可以从它所包含的模态词或质两个不同的角度进 行分类。其基本形式有四种： 必然肯定模态命题，必然p 或□p，断定某件事情的发生是必 然的。如：冬天过后必然是春天。 必然否定模态命题，必然非p或□﹁p，断定某件事情的不发 生是必然的。如：谎言必然不能持久。 可能肯定模态命题，可能p或◇p，断定某件事情的发生是可 能的。如：长期大量吸烟可能致癌。 可能否定模态命题，可能非p或◇﹁p，断定某件事情的不发 生是可能的。如：火星可能没有生物。
2020/5/1
Jinlong
9
第一节 模态命题
答案：A 解析：题干中的条件（2）“张飞不必然考上”和（4）“并 非张飞可能没考上”之间具有矛盾关系，必然有一个是真的， 一个是假的。 “并非可能没考上”的意思就是“必然能够考上”。所以， 条件（1）“张飞和李柏至少有一人考上”和（3）“李柏确实 考上了”之间也必然有一真一假。 这里，若（3）是真的，则（1）也必然是真的。所以，（3） 不能是真的，必然是假的。即李柏没考上，张飞考上了。所以 正确答案是A。
2020/5/1
Jinlong
7
第一节 模态命题
学校为提高学生的素质，开设文理两类选修课。统计表明，
有学生选修了全部文科类选修课，也有学生选修了全部理科类
选修课。那么一下哪项是一定是真的（ ）？
A 有学生选修了全部的选修课。
B 每门选修课都有学生选修。
C 有一门选修课，选修它的学生不只一人。
止；知道、相信、可接受、可疑、可证；曾经、总是、将是、
优先、中立等等。这些模态词分别是道义逻辑、认识逻辑、时
态逻辑和价值逻辑的研究对象。
大学逻辑学第7章 模态逻辑
们认识的必然性、可能性、确定性、不确 定性等等。
• 模态词的非真值函项性或内涵性：命题的 真值不能由非模态命题的真值来确定。它 的语义解释比非模态命题要复杂得多。
第二节 模态命题及其推理
1. 基本模态命题及其符号化
• 简单模态命题 – 定义：凡包含着“必然”、“可能”等词的命 题，就叫真性模态命题。由模态词和基础命题 组成。
– 但是，模态命题对当关系的合理性， 没有相应的简单方法得以证明。
4. 简单模态命题推理
• （1）对当关系推理 • 根据六边形对当关系图，可以得到一
系列直观上成立的模态命题推理形式。
• 根据矛盾关系的直接推理：8个
1. □p↔¬◇¬p
2. □¬p↔¬◇p
3. ◇p↔¬□¬p
4. ◇¬p↔¬□p
– 上述的公式是等值式，即每个公 式可以构成两个推理。两个实然 命题之间的矛盾关系，不构成模 态推理。
¬◇¬p→p（同6）
p→¬□¬p（同7）
• 根据反对关系直接的推理：2个
13.□p→¬□¬p 14.□¬p→¬□p
• 根据下反对关系的直接推理：2个
15.¬◇p→◇¬p 16.¬◇¬p→◇p
• 其中1、3、5、6、7是基本的，其 他的可以从这几个中变换出来。
• （2）必然、可能、偶然的相互定 义
• 非有效但可满足：
– p→□p（所有现实的，都是合理的[黑格尔语]） – ◇p→□p（可能的，就是必然的[默菲法则]） – ◇p→p（可能的，就是现实的） – □p→□(p∧q) – (◇p∨◇q)→◇(p∧q)
• 根据差等关系的直接推理：12个
5. □p→◇p
6. □p→p
பைடு நூலகம்
7. p→◇p
• 模态词的非真值函项性或内涵性：命题的 真值不能由非模态命题的真值来确定。它 的语义解释比非模态命题要复杂得多。
第二节 模态命题及其推理
1. 基本模态命题及其符号化
• 简单模态命题 – 定义：凡包含着“必然”、“可能”等词的命 题，就叫真性模态命题。由模态词和基础命题 组成。
– 但是，模态命题对当关系的合理性， 没有相应的简单方法得以证明。
4. 简单模态命题推理
• （1）对当关系推理 • 根据六边形对当关系图，可以得到一
系列直观上成立的模态命题推理形式。
• 根据矛盾关系的直接推理：8个
1. □p↔¬◇¬p
2. □¬p↔¬◇p
3. ◇p↔¬□¬p
4. ◇¬p↔¬□p
– 上述的公式是等值式，即每个公 式可以构成两个推理。两个实然 命题之间的矛盾关系，不构成模 态推理。
¬◇¬p→p（同6）
p→¬□¬p（同7）
• 根据反对关系直接的推理：2个
13.□p→¬□¬p 14.□¬p→¬□p
• 根据下反对关系的直接推理：2个
15.¬◇p→◇¬p 16.¬◇¬p→◇p
• 其中1、3、5、6、7是基本的，其 他的可以从这几个中变换出来。
• （2）必然、可能、偶然的相互定 义
• 非有效但可满足：
– p→□p（所有现实的，都是合理的[黑格尔语]） – ◇p→□p（可能的，就是必然的[默菲法则]） – ◇p→p（可能的，就是现实的） – □p→□(p∧q) – (◇p∨◇q)→◇(p∧q)
• 根据差等关系的直接推理：12个
5. □p→◇p
6. □p→p
பைடு நூலகம்
7. p→◇p
第七章 模态判断及其推理
“必然”这类模态词的模态判断，或真*例或析假*，有其确定的
逻辑值，所以称之为真值模态判断。 2、广义模态判断
含有“必*须例”析、* “允许”、“禁止”等规范词的判断是规
范模态
第七章 模态逻辑
1、凶手必然有作案时间。 2、合法行为必然不会受到法律制裁。 3、某甲的代理行为可能是无权代理。 4、某甲可能不是原告的法定代理人。 5、他的行为可能是无因管理，也可能是不当得利。 6、故意杀人或故意伤害致人毙命必然会受到法律的严惩。 7、领导干部必须以身作则。 8、公民必须遵纪守法。 9、禁止随地吐痰。 10、公共场所，不准吸烟。 11、允许公民信教自由。 12、如夫妻感情已破裂，准予离婚。
第七章 模态逻辑
对模态词的语言理解
某大学校长在校庆大会上讲话时说：“我们有许多毕业同学以 自己的努力在各自领域获得了优异的成绩。他们有的成为科学 家、将军、市长、大企业家，我们的学校以他们为骄傲。毋庸 置疑，我们已毕业同学中有许多女同学。” 如果校长讲话中的断定都是真的，以下哪项必定是真的？ A、取得优异成绩的至少有女同学。 B、取得优异成绩的男同学多于女同学 C、取得优异成绩的女同学多于男同学 D、取得优异成绩的可能没有女同学
第七章 模态逻辑
第 七章
一 模态逻辑概论 二 真值模态逻辑 三 规范模态逻辑
关于包括广义模态词即 “必然”、“可能”、 “ 应当 ” “允许”等词的判断和推理 的逻辑。
第七章 模态逻辑
概述
所谓模态判断就是含有模态词的判断。通常所说的模态 词主要有“可能”、“必然”、“必须”、“允许”、
“禁止”等 1、狭义模态判断 包含可能、必然等模态词的判断。由于包含有“可能”、
◇p
◇¬p
下反对关系
¬□¬p ◇p ◇p ¬□¬p
逻辑值，所以称之为真值模态判断。 2、广义模态判断
含有“必*须例”析、* “允许”、“禁止”等规范词的判断是规
范模态
第七章 模态逻辑
1、凶手必然有作案时间。 2、合法行为必然不会受到法律制裁。 3、某甲的代理行为可能是无权代理。 4、某甲可能不是原告的法定代理人。 5、他的行为可能是无因管理，也可能是不当得利。 6、故意杀人或故意伤害致人毙命必然会受到法律的严惩。 7、领导干部必须以身作则。 8、公民必须遵纪守法。 9、禁止随地吐痰。 10、公共场所，不准吸烟。 11、允许公民信教自由。 12、如夫妻感情已破裂，准予离婚。
第七章 模态逻辑
对模态词的语言理解
某大学校长在校庆大会上讲话时说：“我们有许多毕业同学以 自己的努力在各自领域获得了优异的成绩。他们有的成为科学 家、将军、市长、大企业家，我们的学校以他们为骄傲。毋庸 置疑，我们已毕业同学中有许多女同学。” 如果校长讲话中的断定都是真的，以下哪项必定是真的？ A、取得优异成绩的至少有女同学。 B、取得优异成绩的男同学多于女同学 C、取得优异成绩的女同学多于男同学 D、取得优异成绩的可能没有女同学
第七章 模态逻辑
第 七章
一 模态逻辑概论 二 真值模态逻辑 三 规范模态逻辑
关于包括广义模态词即 “必然”、“可能”、 “ 应当 ” “允许”等词的判断和推理 的逻辑。
第七章 模态逻辑
概述
所谓模态判断就是含有模态词的判断。通常所说的模态 词主要有“可能”、“必然”、“必须”、“允许”、
“禁止”等 1、狭义模态判断 包含可能、必然等模态词的判断。由于包含有“可能”、
◇p
◇¬p
下反对关系
¬□¬p ◇p ◇p ¬□¬p
模态命题及常用推理
一、模态命题定义及分类模态判断是陈述事物情况的必然性或可能性的判断。
在语言表达上，表示模态的词有：“可能”、“必然”等。
模态命题可分为两类。
第一类为可能命题，也叫或然命题，反映事物情况可能性的命题。
又分为可能肯定和肯可能否定命题。
如河流可能会干涸。
今年冬天可能不会下雪。
第二类为必然命题。
反映事物情况必然性的命题。
又可分为必然肯定命题和必然否定命题。
如台湾必然会回到祖国的怀抱。
冬天到了，春天必然不会太遥远。
二、模态命题之间的关系对于“必然P”、“不可能“P”、“可能P”和“可能非P”之间的相互关系，可以用对当逻辑方阵来表示，辅助记忆。
1、矛盾命题（1）必然P→并非可能非P，并非必然P→可能非P；（2）可能P→并非必然非P，并非可能P→必然非P；（3）必然非P→并非可能P，并非必然非P→可能P；（4）可能非P→并非必然P，并非可能非P→必然P；2、反对及下反对命题（1）必然P→并非必然非P，必然非P→并非必然P；（2）并非可能P→可能非P，并非可能非P→可能P；3、充分条件（1）必然P→可能P；并非可能P→并非必然P；（2）必然非P→可能非P，并非可能非P→并非必然非P。
三、典型例题解析【例题1】（福建-2010秋季-72）有人认为“巨额的国家预算赤字必然会导致巨额的国家贸易逆差”，如果这样的话，那么世界上预算赤字最大的国家必然会有相应的最大的贸易逆差；但我们知道，世界上预算赤字最大的国家是美国，而美国的贸易总的来说是顺差而不是逆差（因为尽管其货物贸易亏本，但其技术和服务贸易却赚的非常多）。
由此可以推出（）A．巨额的国家预算赤字必然不会导致巨额的国家贸易逆差B．巨额的国家贸易逆差必然不会导致巨额的国家预算赤字C．巨额的国家预算赤字可能不会导致巨额的国家贸易逆差D．巨额的国家预算赤字可能会导致巨额的国家贸易逆差【答案】C。
【解析】本题考查的是模态命题的推理。
题中指出有人的观点为“巨额的国家预算赤字必然会导致巨额的国家贸易逆差”，现举出美国这样一个反例，即要否定“有人认为”的观点。
模态命题及其推理
模态命题种类
• • • • • • • • • • • • 1.必然命题 必然命题 必然命题是反映事物情况的必然性的命题。 必然命题是反映事物情况的必然性的命题。 必然肯定命题的形式是： 必然肯定命题的形式是： S必然 。可简化为：必然 。计为：□P 必然P。可简化为：必然P。计为： 必然 必然否定命题的形式是： 必然否定命题的形式是： S必然 。可简化为：必然非 。计为：□┐P 必然P。可简化为：必然非P。计为： 必然 2.可能命题 可能命题 可能命题是反映事物情况的可能性的命题。 可能命题是反映事物情况的可能性的命题。它是人们对客观事物 的认识在不十分清楚的情况下作出的反映。 的认识在不十分清楚的情况下作出的反映。 可能肯定命题的形式是： 可能肯定命题的形式是： S可能 。可简化为：可能 。计为：◇P 可能P。可简化为：可能P。计为： 可能 可能否定命题的形式是： 可能否定命题的形式是： S可能不 。可简化为：可能非 。计为：◇┐P 可能不P。可简化为：可能非P。计为： 可能不
O┐p
规范命题间关系
差等关系 差等关系 差等关系 差等关系 差等关系 差等关系 差等关系 差等关系
Op
Pp
差等关系 差等关系 差等关系 差等关系 差等关系 差等关系 差等关系 差等关系
下反对关系
反对关系
P┐p
必然模态三段论
• • • • • 以AAA式为例， 其推理形式是： 凡M必然是P； 凡S是M； 所以，凡S必然是P。
【答案】D。 答案】 。
• 解析：此题为模态命题，模态词是“可 能”，而A、B和C模态词都是“必然”， 肯定不对。而D中，“不必然”就等值于 “可能不”，“不”和“不”相抵消，D 的含义就等值于“近日股市可能会上 涨”。
规范命题的种类
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第七章 模态逻辑
□p
反对关系
□? p
（一）、模态对当关系推理
差
差
等
等
关
关
系
系
◇p
◇? p
下反对关系
真值模态判断之间存在四种对当关系:
1、反对关系 *例析*
2、下反对关系 *例析*
3、矛盾关系 *例析*
4、从属关系 *例析*
第七章 模态逻辑
反对关系
□p
□? p
1、反对关系（以真推假）
□p ? ? □? p □? p ? ? □p
差
差
等
等
关
关
系
系
◇p
◇? p
下反对关系
某甲必然是这个案件的作案者， 所以，并非某甲必然不是这个案件的作案者 公正的法官必然不会徇私枉法， 所以，并非公正的法官必然会徇私枉法
第七章 模态逻辑
反对关系
□p
□? p
差
差
等
等
2、下反对关系（以假推真） 关
关
系
系
? ◇p ? ◇? p ? ◇? p ? ◇p
一份犯罪调研报告提示，某市近三年来的严重刑事犯罪案件 60%皆为已记录在案的350名惯犯所为。报告同时揭示，半数 以上的严重刑事犯罪案件的作案者同时是吸毒者。 如果上述断定都是真的，并且同时考虑到事实上一个惯 犯可能作案多起，那么，下述哪项断定一定是真的? A、惯犯中大多数是吸毒者。 B、惯犯中一定有吸毒者 C、惯犯中可能没有吸毒者 D、吸毒者中大多数在350名的惯犯中 E、吸毒是造成严重刑事犯罪的主要原因
第七章 模态逻辑
第 七章
一 模态逻辑概论 二 真值模态逻辑 三 规范模态逻辑
关于包括广义模态词即 “必然”、“可能”、
“ 应当 ” “允许”等词的判断和推理
的逻辑。
第七章 模态逻辑
概述
所谓模态判断就是含有模态词的判断。通常所说的模态 词主要有“可能”、“必然”、“必须”、“允许”、
“禁止”等 1、狭义模态判断 包含可能、必然等模态词的判断。由于包含有“可能”、
◇p
◇? p
下反对关系
某甲不可能做伪证，所以，某甲可能不会做伪证 社会主义的法不可能没有阶级性，所以，社会主义的法 可能有阶级性
第七章 模态逻辑
反对关系
□p
□? p
3、矛盾关系（以真推假，以假推真）差
差
□p ? ?◇ ?p ? □p ? ◇? p ◇? p ? ? □p
等 关
□p ?? ? ◇ ? p 系
第七章 模态逻辑
对模态词的语言理解
某大学校长在校庆大会上讲话时说：“我们有许多毕业同学以 自己的努力在各自领域获得了优异的成绩。他们有的成为科学 家、将军、市长、大企业家，我们的学校以他们为骄傲。毋庸 置疑，我们已毕业同学中有许多女同学。” 如果校长讲话中的断定都是真的，以下哪项必定是真的？ A、取得优异成绩的至少有女同学。 B、取得优异成绩的男同学多于女同学 C、取得优异成绩的女同学多于男同学 D、取得优异成绩的可能没有女同学
第七章 模态逻辑
一、真值模态判断概述
包含可能、必然等模态词的判断。 种类：设判断形式有p 和 ?p，必然＝□ 可能＝◇ 1、可能判断(断定事物情况的可能性的判断) 可能肯定判断： ◇p 可能否定判断： ◇?p 2、必然判断(断定事物情况的必然性的判断) 必然肯定判断： □p 必然否定判断： □?p
第七章 模态逻辑
一位外地游客问当地气象部门的负责人：“很多人都说 最
近几天要刮台风，是真的吗？” 气象部门负责人说： “根
据我们的观察，最近不必然刮台风。”游客说：“那是 不是
最近肯定不会刮台风了？”该负责人说游客说得不对。 以下哪句话与气象部门负责人的意思最为接近？ A．最近必然不刮台风。 B．最近可能不刮台风。 C．最近可能刮台风。 D．最近不可能刮台风。 E．最近不必然不刮台风。
*例析*
第七章 模态逻辑
1、凶手必然有作案时间。 □p 2、合法行为必然不会受到法律制裁。 □?p 3、某甲的代理行为可能是无权代理。 ◇p 4、某甲可能不是原告的法定代理人。 ◇?p 5、他的行为可能是无因管理，也可能是不当得利。 ◇p
6、故意杀人或故意伤害致人毙命必然会受到法律的严惩。
□p
第七章 模态逻辑 对模态词的语言理解
等 关 系
? ◇ ? p ? □p □?p ? ? ◇ p
◇p
◇? p
下反对关系
? □? p ? ◇p ◇p ? ? □? p
□? p ?? ? ◇p
? ◇p ? □? p
客观事物必然发展变化，所以，客观事物不可能不发展变化 某甲的代理权不必然有效，所以，某甲的代理权可能不有效 某甲必然不是诉讼当事人，所以，某甲不可能是诉讼当事人 某甲可能是这个案件的作案人，所以，某甲不必然不是这个案 件的作案人
第七章 模态逻辑
不可能所有的花都结果。 以下哪项的断定，与上述断定最为接近? A.可能所有的花都不结果 B.可能有的花不结果 C.可能有的花结果 D.必然所有的花都不结果 E、必然有的花不结果
“必然”这类模态词的模态判断，或真*例或析假*，有其确定的
逻辑值，所以称之为真值模态判断。 2、广义模态判断
含有“必*须例”析、* “允许”、“禁止”等规范词的判断是规
范模态
第七章 模态逻辑
1、凶手必然有作案时间。 2、合法行为必然不会受到法律制裁。 3、某甲的代理行为可能是无权代理。 4、某甲可能不是原告的法定代理人。 5、他的行为可能是无因管理，也可能是不当得利。 6、故意杀人或故意伤害致人毙命必然会受到法律的严惩。 7、领导干部必须以身作则。 8、公民必须遵纪守法。 9、禁止随地吐痰。 10、公共场所，不准吸烟。 11、允许公民信教自由。 12、如夫妻感情已破裂，准予离婚。
第七章 模态逻辑
模态判断的负判断及其推理 模态命题的负判断等值于它的矛盾判断 □p的负判断等值判断是◇?p ； ?□p □?p的负判断等值判断是◇p ； ?□?p ◇p的负判断等值判断是□?p ； ?◇p ◇?p的负判断等值判断是□p ； ?◇ ?p
◇?p ◇p □?p □p
并非“骄傲必然失败”，等值于“骄傲可能不失败” “实验并非必然不会成功”，等值于“实验可能会成功”
第七章 模态逻辑
据卫星提供的最新气象资料表明，原先预报的明年北方 地区的持续干旱不一定出现。 以下哪项最为接近上文中气象资料所表明的含义? A、明年北方地区的持续干旱一定不出现 B、明年北方地区的持续干旱可能出现 C、明年北方地区的持续干旱可能不出现 D、明年北方地区的持续干旱出现的可能性比不出现大 E、明年北方地区的持续干旱不可能出现