模态逻辑-模态命题和推理.pptVIP

;一、真值模态命题 二、规范模态命题 三、模态命题推理;一、真值模态命题的含义 真值模态命题是断定事物情况具有必然性或可能性的命题。例如， 违反客观规律必然要受到客观规律的惩罚。 那个辩护人的意见可能是对的。 都是真值模态命题。 模态词： 1.“必然” 可用符号“□” 表示 2.“可能” 可用符号“ ? ”表示。 自然语言表示必然的还有“一定”、“必定”、“必将”、“总是”等。表示可能的还有“也许”、“大概”等。;二、真值模态命题的分类 必然肯定命题 □p （p可为复合命题） 必然否定命题 □?p 可能肯定命题 ?p 可能否定命题 ??p;;逻辑方阵图 □p 反对 □? p 矛盾 矛盾 差等 差等 ? p 下反对 ??p;一、规范模态命题的含义 规范模态命题是陈述人们的行为规范的命题。例如， （1）公安机关逮捕人的时侯，必须出示逮捕证。 （2）有诉讼权力能力的人可以作为民事诉讼的当事人。 （3）禁止用侮辱、诽谤等方式损害公民、法人的名誉。 都是规范模态命题。 规范模态命题也称道义命题、指令命题。 模态词：1.“必须” 可用符号“O”表示； 2. “允许” 可用符号“P”表示； 3. “禁止” 可用符号“F”表示。; 自然语言表示必须的还有“应当”、“有义务”、“有责任”等；表示允许的还有“可以”、“准予”、“有权利”等；表示禁止的还有“不得”、“不准”、“不许”等。 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.未成年人