模态主张及其推理.ppt

。; 模态命题及其推理;第一节 真值模态命题;二、真值模态命题的分类 必然肯定命题 □p （p可为复合命题） 必然否定命题 □?p 可能肯定命题 ?p 可能否定命题 ??p;。;逻辑方阵图 □p 反对 □? p 矛盾 矛盾 差等 差等 ? p 下反对 ??p;第二节 规范模态命题; 自然语言表示必须的还有“应当”、“有义务”、“有责任”等；表示允许的还有“可以”、“准予”、“有权利”等；表示禁止的还有“不得”、“不准”、“不许”等。 FA ? ? PA FA ? O ? A ? FA ?PA ?F?A ?P?A;二、规范命题的分类 必须型规范命题，也称为义务性规范或强制性规范命题. 允许型规范命题，也称为授权性规范命题 禁止型规范命题，（可不列为一种单独类型）;。;逻辑方阵图 OA 反对 O? A （F?A） （FA） 矛盾 矛盾 差等 差等 P A 下反对 P?A ;练习题 一、写出下列规范模态命题的逻辑形式 1.有下列情况之一的，应当给予开除党籍处分： （一）因故意犯罪被依法判处《中华人民共和国刑法》规定的主刑（含宣告缓刑）的； （二）单处或者附加剥夺政治权利的； （三）因过失犯罪,被依法判处三年以上（不含三年）有期徒刑的。 解：设 p=“故意犯罪”； q=“被依法判处《中华人民共和国刑法》规定的主刑（含宣告缓刑）”； r=“单处剥夺政治权利”； ;s=“附加剥夺政治权利”； t=“过失犯罪”； u=“被依法判处三年以上（不含三年）有期徒刑”； v=“给予开除党籍处分”。 则该规范模态命题可表示为 （pΛq）V（rVs）V（tΛu）→Ov 2.预备党员违反党纪，情节较轻，尚可保留预备党员资格的，应当对其批评教育或者延长预备期；情节较重的，应当取消其预备党员资格。 ; 二、根据规范模态命题的对当关系，指出下列各组命题的真假 １．已知“禁止在此设摊”为假，则： （１） “禁止不在此设摊”为（真假不定） （２） “不允许不在此设摊”为（真假不定） （３） “允许不在此设摊”为（真假不定） （４） “必须不在此设摊”为（假） ２．已知“允许上诉”为真，则： （１） “允许不上诉”为（　　） （２） “禁止不上诉”为（　　） （３） “不禁止不上诉”为（　　） （４） “不必须上诉”为（　　） ; 三、已知下列模态命题为真，请根据模态命题的对当关系，指出相同素材的其它三种模态命题的真假。 1.犯罪现象最终必然灭绝。 2.本案一定不是情杀案件。 3.明天可能下雨。 4.抢劫犯可能不是本地人。 四、已知下列模态命题为假，请根据模态命题的对当关系，指出相同素材的其它三种模态命题的真假。 1.阴谋最终必然失败。 2.核战争必然不会发生。 3.未成年人犯罪可能从重处罚。 4.刑法可能不是实体法。; 有人说：“最高明的骗子，可能在某个时刻欺骗所有的人，也可能在所有的时刻欺骗某些人，但不可能在所有的时刻欺骗所有的人”。 　 如果上述断定为真，而且世界上总有一些高明的骗子，那么下述哪项断定必定是假的？　　 A.张三可能在某个时刻受骗。　　B.李四可能在任何时候都不受骗。　　C.骗人的人也可能在某个时刻受骗。　　D.不存在某一时刻所有的人都不会受骗。　　E.不存在某一时刻有人可能不受骗。　　　　;分析:这句话是美国前总统林肯的一句名言。　　A:张三可能在某个时刻受骗。张三是所有的人中的一个，最高明的骗子在某个时刻能欺骗所有的人，张三当然身在其中，