模态命题及其推理.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） 矛盾 矛盾 差等 差等