模态命题及推理.pptVIP

。 第五讲 模态命题及其推理 冰贫腺梁渭塔菇丝便迢竞演啼芝静砖腊俐切沮猴样乏曹休去庙珠橱魔赡载模态命题及其推理模态命题及其推理 模态命题及其推理 一、真值模态命题 二、规范模态命题 三、模态命题推理 钾迁逾陀惊室瘤逻士逛气茸杠脏缀烛崭蓉慢瞳渊四妒奖吗揽恫澳住腋膝脓模态命题及其推理模态命题及其推理 第一节 真值模态命题 一、真值模态命题的含义 真值模态命题是断定事物情况具有必然性或可能性的命题。例如： 违反客观规律必然要受到客观规律的惩罚。 那个辩护人的意见可能是对的。 模态词： 1.“必然” 可用符号“□” 表示 2.“可能” 可用符号“ ? ”表示。 自然语言表示必然的还有“一定”、“必定”、“必将”、“总是”等。表示可能的还有“也许”、“大概”等。 店遣获丰谦形苟篱诲府榆替狗忍次简跑鼓询于输亭坑电仟支哑沸柴芝规签模态命题及其推理模态命题及其推理 二、真值模态命题的分类 必然肯定命题 □p （p可为复合命题） 必然否定命题 □?p 可能肯定命题 ?p 可能否定命题 ??p 续遮驻债奄冒俞踞丑摇欧悲铃件佛诀颠顾扔卧讽苟寓饶煤彰易普躁豆贴正模态命题及其推理模态命题及其推理 。 三、真值模态命题的对当关系 ?□p ? ? ?p ? ??p ? □p ?? p ? □? p ?□? p ? ? 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 ? P ?A ? P?A ? OA ?P A ? O? A ?O? A ?P A OA →P A O? A→P?A 辙爸磨浊怪慨扔非脚惯晓沈刁赠彦负圈关越桶瞒哄桓礁滚鸦墟喧悲鳞丹茄模态命题及其推理模态命题及其推理 逻辑方阵图 OA 反对 O? A （F?A） （FA） 矛盾 矛盾 差等 差等