模态命题及其推理

《模态命题及其推理》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、。第五讲模态命题及其推理模态命题及其推理一、真值模态命题二、规范模态命题三、模态命题推理第一节真值模态命题一、真值模态命题的含义真值模态命题是断定事物情况具有必然性或可能性的命题。例如：违反客观规律必然要受到客观规律的惩罚。那个辩护人的意见可能是对的。模态词：1.“必然”可用符号“□”表示2.“可能”可用符号“◊”表示。自然语言表示必然的还有“一定”、“必定”、“必将”、“总是”等。表示可能的还有“也许”、“大概”等。二、真值模态命题的分类必然肯定命题□p（p可为复合命题）必然否定命题□¬p可能肯定命题◊p可能否定命题◊¬p。三、真值模态命题的对当关系¬□p↔◊¬p¬◊¬p

2、↔□p¬◊p↔□¬p¬□¬p↔◊p□p→◊p□¬p→◊¬p逻辑方阵图□p反对□¬p矛盾矛盾差等差等◊p下反对◊¬p第二节规范模态命题一、规范模态命题的含义规范模态命题是陈述人们的行为规范的命题。例如，（1）公安机关逮捕人的时侯，必须出示逮捕证。（2）有诉讼权力能力的人可以作为民事诉讼的当事人。（3）禁止用侮辱、诽谤等方式损害公民、法人的名誉。都是规范模态命题。规范模态命题也称道义命题、指令命题。模态词：1.“必须”可用符号“O”表示；2.“允许”可用符号“P”表示；3.“禁止”可用符号“F”表示。自然语言表示必须的还有“应当”、“有义务”、“有责任”等；表示允许的还有“可以

3、”、“准予”、“有权利”等；表示禁止的还有“不得”、“不准”、“不许”等。FA↔¬PAFA↔O¬A¬FA↔PA¬F¬A↔P¬A二、规范命题的分类必须型规范命题，也称为义务性规范或强制性规范命题.允许型规范命题，也称为授权性规范命题禁止型规范命题，（可不列为一种单独类型）。三、对当关系（指“规范”妥当或不妥当的关系）¬OA↔P¬A¬P¬A↔OA¬PA↔O¬A¬O¬A↔PAOA→PAO¬A→P¬A逻辑方阵图OA反对O¬A（F¬A）（FA）矛盾矛盾差等差等PA下反对P¬A练习题一、写出下列规范模态命题的逻辑形式1.有下列情况之一的，应当给予开除党籍处分：（一）因故意犯罪被依法判处

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

5、态命题的对当关系，指出下列各组命题的真假１．已知“禁止在此设摊”为假，则：（１）“禁止不在此设摊”为（真假不定）（２）“不允许不在此设摊”为（真假不定）（３）“允许不在此设摊”为（真假不定）（４）“必须不在此设摊”为（假）２．已知“允许上诉”为真，则：（１）“允许不上诉”为（　　）（２）“禁止不上诉”为（　　）（３）“不禁止不上诉”为（　　）（４）“不必须上诉”为（　　）三、已知下列模态命题为真，请根据模态命题的对当关系，指出相同素材的其它三种模态命题的真假。1.犯罪现象最终必然灭绝。2.本案一定不是情杀案件。3.明天可能下雨。4.抢劫犯可能不是本地人。四、已知下列模态命题

6、为假，请根据模态命题的对当关系，指出相同素材的其它三种模态命题的真假。1.阴谋最终必然失败。2.核战争必然不会发生。3.未成年人犯罪可能从重处罚。4.刑法可能不是实体法。有人说：“最高明的骗子，可能在某个时刻欺骗所有的人，也可能在所有的时刻欺骗某些人，但不可能在所有的时刻欺骗所有的人”。如果上述断定为真，而且世界上总有一些高明的骗子，那么下述哪项断定必定是假的？A.张三可能在某个时刻受骗。B.李四可能在任何时候都不受骗。C.骗人的人也可能在某个时刻受骗。D.不存在某一时刻所有的人都不会受骗。E.不存在某一时刻有人可能不受骗。分析:这句话是美国前总统林肯的一句名言。A:张三可

7、能在某个时刻受骗。张三是所有的人中的一个，最高明的骗子在某个时刻能欺骗所有的人，张三当然身在其中，不在话下。A不一定为假。B:李四可能在任何时候都不受骗。李四可能本身就是最高明的骗子。B不一定为假。C:骗人的人也可能在某个时刻受骗。确实可能，被别的骗子骗。C不一定为假。D:不存在某一时刻所有的人都不会受骗。只要骗子存在，所有的时刻都有可能有人被骗，不存在某一时刻所有的人都不会受骗。D不一定为假。E：不存在某一时刻有人可能不受骗。这不对。当然存在某一时刻，有人可能不受骗。否则，就意味着：可能在所有的时刻，所有的人都受