模态逻辑模态命题和推理

1、模态逻辑模态命题和推理第1页，共35页，2022年，5月20日，6点33分，星期四一、真值模态命题二、规范模态命题三、模态命题推理第2页，共35页，2022年，5月20日，6点33分，星期四一、真值模态命题的含义真值模态命题是断定事物情况具有必然性或可能性的命题。例如，违反客观规律必然要受到客观规律的惩罚。那个辩护人的意见可能是对的。都是真值模态命题。模态词： 1.“必然” 可用符号“” 表示 2.“可能” 可用符号“ ”表示。自然语言表示必然的还有“一定”、“必定”、“必将”、“总是”等。表示可能的还有“也许”、“大概”等。第3页，共35页，2022年，5月20日，6点33分，星期四二、真值

2、模态命题的分类必然肯定命题 p （p可为复合命题）必然否定命题 p可能肯定命题 p 可能否定命题 p第4页，共35页，2022年，5月20日，6点33分，星期四三、真值模态命题的对当关系p p p p p p p p p p pp第5页，共35页，2022年，5月20日，6点33分，星期四逻辑方阵图 p 反对 p 矛盾 矛盾 差等 差等 p 下反对 p第6页，共35页，2022年，5月20日，6点33分，星期四一、规范模态命题的含义规范模态命题是陈述人们的行为规范的命题。例如，（1）公安机关逮捕人的时侯，必须出示逮捕证。（2）有诉讼权力能力的人可以作为民事诉讼的当事人。（3）禁止用侮辱、诽谤等

3、方式损害公民、法人的名誉。都是规范模态命题。规范模态命题也称道义命题、指令命题。模态词：1.“必须” 可用符号“O”表示； 2. “允许” 可用符号“P”表示； 3. “禁止” 可用符号“F”表示。第7页，共35页，2022年，5月20日，6点33分，星期四 自然语言表示必须的还有“应当”、“有义务”、“有责任”等；表示允许的还有“可以”、“准予”、“有权利”等；表示禁止的还有“不得”、“不准”、“不许”等。 FA PA FA O A FA PA FA PA第8页，共35页，2022年，5月20日，6点33分，星期四二、规范命题的分类必须型规范命题，也称为义务性规范或强制性规范命题.允许型规范

4、命题，也称为授权性规范命题禁止型规范命题，（可不列为一种单独类型）第9页，共35页，2022年，5月20日，6点33分，星期四三、对当关系（指“规范”妥当或不妥当的关系） OA P A PA OA P A O A O A P A OA P A O APA第10页，共35页，2022年，5月20日，6点33分，星期四逻辑方阵图 OA 反对 O A （FA） （FA） 矛盾 矛盾 差等 差等 P A 下反对 PA第11页，共35页，2022年，5月20日，6点33分，星期四练习题一、写出下列规范模态命题的逻辑形式1.有下列情况之一的，应当给予开除党籍处分：（一）因故意犯罪被依法判处中华人民共和国刑

5、法规定的主刑（含宣告缓刑）的；（二）单处或者附加剥夺政治权利的；（三）因过失犯罪,被依法判处三年以上（不含三年）有期徒刑的。解：设 p=“故意犯罪”；q=“被依法判处中华人民共和国刑法规定的主刑（含宣告缓刑）”；r=“单处剥夺政治权利”；第12页，共35页，2022年，5月20日，6点33分，星期四s=“附加剥夺政治权利”；t=“过失犯罪”；u=“被依法判处三年以上（不含三年）有期徒刑”；v=“给予开除党籍处分”。则该规范模态命题可表示为 （pq）V（rVs）V（tu）Ov2.预备党员违反党纪，情节较轻，尚可保留预备党员资格的，应当对其批评教育或者延长预备期；情节较重的，应当取消其预备党员资格

6、。第13页，共35页，2022年，5月20日，6点33分，星期四二、根据规范模态命题的对当关系，指出下列各组命题的真假已知“禁止在此设摊”为假，则：（） “禁止不在此设摊”为（真假不定）（） “不允许不在此设摊”为（真假不定）（） “允许不在此设摊”为（真假不定）（） “必须不在此设摊”为（假）已知“允许上诉”为真，则：（） “允许不上诉”为（）（） “禁止不上诉”为（）（） “不禁止不上诉”为（）（） “不必须上诉”为（）第14页，共35页，2022年，5月20日，6点33分，星期四三、已知下列模态命题为真，请根据模态命题的对当关系，指出相同素材的其它三种模态命题的真假。1.犯罪现象最终必然

7、灭绝。2.本案一定不是情杀案件。3.明天可能下雨。4.抢劫犯可能不是本地人。四、已知下列模态命题为假，请根据模态命题的对当关系，指出相同素材的其它三种模态命题的真假。1.阴谋最终必然失败。2.核战争必然不会发生。3.未成年人犯罪可能从重处罚。4.刑法可能不是实体法。第15页，共35页，2022年，5月20日，6点33分，星期四 有人说：“最高明的骗子，可能在某个时刻欺骗所有的人，也可能在所有的时刻欺骗某些人，但不可能在所有的时刻欺骗所有的人”。 如果上述断定为真，而且世界上总有一些高明的骗子，那么下述哪项断定必定是假的？A.张三可能在某个时刻受骗。B.李四可能在任何时候都不受骗。C.骗人的人也

8、可能在某个时刻受骗。D.不存在某一时刻所有的人都不会受骗。E.不存在某一时刻有人可能不受骗。第16页，共35页，2022年，5月20日，6点33分，星期四分析:这句话是美国前总统林肯的一句名言。A:张三可能在某个时刻受骗。张三是所有的人中的一个，最高明的骗子在某个时刻能欺骗所有的人，张三当然身在其中，不在话下。A不一定为假。 B:李四可能在任何时候都不受骗。李四可能本身就是最高明的骗子。B不一定为假。 C:骗人的人也可能在某个时刻受骗。确实可能，被别的骗子骗。C不一定为假。 D:不存在某一时刻所有的人都不会受骗。只要骗子存在，所有的时刻都有可能有人被骗，不存在某一时刻所有的人都不会受骗。D不一

9、定为假。 E：不存在某一时刻有人可能不受骗。这不对。当然存在某一时刻，有人可能不受骗。否则，就意味着：可能在所有的时刻，所有的人都受骗。这与题干矛盾。所以，选E。第17页，共35页，2022年，5月20日，6点33分，星期四一、真值模态命题推理二、规范模态命题推理三、法律规范选择推理第18页，共35页，2022年，5月20日，6点33分，星期四在逻辑上把包含模态词“可能”、“必然”等命题叫做模态命题。模态命题分为四类：必然命题；必然p；p。必然非命题；必然p；p。可能命题；可能p; p。可能非命题。可能p; p。第19页，共35页，2022年，5月20日，6点33分，星期四真值模态对当推理是根

10、据真值模态命题对当关系所进行的演绎推理。例如，根据 p p 有 p p ，从而可知如下推理正确： 某甲不可能是这起案件的作案人； 所以，某甲必然不是这起案件的作案人。第20页，共35页，2022年，5月20日，6点33分，星期四反对关系下反对关系差等关系差等关系矛 盾 关 系矛 盾 关 系pppp第21页，共35页，2022年，5月20日，6点33分，星期四此图表明：（1）p与p之间的关系是反对关系。（2）p与p之间的关系是下反对关系。（3）p与p以及 p与p之间的关系是矛盾关系。（4）p与p以及p与p之间的关系是差等关系。（5）pp； pp（6）pp； pp第22页，共35页，2022年，5

11、月20日，6点33分，星期四练习1：在新疆恐龙发掘现场，专家预言：可能发现恐龙头骨。以下哪个命题和专家意思相同？A.不可能不发现恐龙头骨。B.不一定发现恐龙头骨。C.恐龙头骨的发现可能性很小。D.不一定不发现恐龙头骨。E.在其他地方也可能发现恐龙头骨。第23页，共35页，2022年，5月20日，6点33分，星期四练习2：在市场预测中，专家说：明年电脑不降价是不可能的。以下哪项和专家说的同真？A.明年电脑一定降价。B.明年电脑可能降价。C.不可能预测明年电脑是否降价。D.明年电脑可能不降价。E.明年电脑一定不降价。第24页，共35页，2022年，5月20日，6点33分，星期四练习3：不可能所有的

12、错误都能避免。以下哪项最接近于上述断定的含义？A. 所有的错误必然都不能避免。B. 所有的错误可能都不能避免。C. 有的错误可能不能避免。D. 有的错误必然不能避免。第25页，共35页，2022年，5月20日，6点33分，星期四练习4：不可能所有的花都结果。以下哪项断定的含义，与上述断定最为接近？A可能所有的花都不结果。B可能有的花不结果。C可能有的花结果。D必然所有的花都不结果。第26页，共35页，2022年，5月20日，6点33分，星期四练习5：在上次考试中，老师出了一道非常古怪的难题，有86%的考生不及格。这次考试之前，王见明预测说：“根据上次考试情况，这次考试老师不一定会出那种难题了。

13、”胡思明说：“这就是说这次考试老师肯定不出那种难题了。太好了！”王见明说：“我不是这个意思。”下面那句话与王见明说的意思相似？A.这次考试老师不可能不出那种难题。B.这次考试老师必定不出那种难题了。C.这次考试老师可能不出那种难题了。D.这次考试老师不可能出那种难题了。E.这次考试老师不一定不出那种难题。第27页，共35页，2022年，5月20日，6点33分，星期四（二）复合真值模态命题推理复合真值模态命题推理是根据复合真值模态命题之间的等值关系或蕴含关系而进行的演绎推理。例如，根据 （pq） pq 便有甲胜诉而乙败诉，这是必然的；所以，甲必然胜诉，而乙必然败诉。第28页，共35页，2022年

14、，5月20日，6点33分，星期四常见的公式有：（1） （pq） （pq）（2） （pq） pq（3） （p V q） p V q（4） （pq） pq（5） p Vq（p Vq）（6） （p q） （p q）（7） （pq） （pq）（8） （pq）pq （9） （pq）q p（10） （pVq）p q第29页，共35页，2022年，5月20日，6点33分，星期四（一）规范模态对当推理规范模态对当推理是根据规范模态命题对当关系所进行的演绎推理。例如，根据 OA P A便有： 并非子女必须随父姓； 所以，子女可以不随父姓。第30页，共35页，2022年，5月20日，6点33分，星期四（二）复合规

15、范模态命题推理复合规范模态命题推理是根据复合规范模态命题之间的等值关系或蕴含关系而进行的演绎推理。例如，根据 P（pVq） PpVPq 便有自诉人在宣告判决前，可以同被告人自行和解或者撤回自诉；所以，自诉人在宣告判决前，可以同被告人自行和解，或者可以撤回自诉。第31页，共35页，2022年，5月20日，6点33分，星期四常见的公式有：（1） O（pq） （OpOq）（2） O（pq） OpOq（3） P（p V q） Pp VPq（4） P（pq） PpPq（5） Op VOqO（p Vq）（6）F（pVq） FpFq（7） FpVFq F（pq）（8） O（p q） （Op Oq）（9） O

16、（pq）OpOq （10） O（pq）PpPq（11） O（pq）Fq Fp（12）O（pVq）Fp Op第32页，共35页，2022年，5月20日，6点33分，星期四（三）规范模态的条件推理1.规范模态条件推理的含义规范模态条件推理是根据规范模态命题所涉及的行为之间的条件关系所进行的演绎推理。例如：证据应当在法庭上出示，并由当事人互相质证；而只有当事人出庭才能互相质证；所以，当事人必须出庭。其推理形式为： Oq pq Op第33页，共35页，2022年，5月20日，6点33分，星期四2.规范模态条件推理的种类可分为必须条件推理、禁止条件推理和允许条件推理三大类。所涉及到的公式有：Op（pq） OqOp（q p） FqFp（qp）