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

第1页，共35页，星期日，2025年，2月5日一、真值模态命题二、规范模态命题三、模态命题推理第2页，共35页，星期日，2025年，2月5日一、真值模态命题的含义真值模态命题是断定事物情况具有必然性或可能性的命题。例如，违反客观规律必然要受到客观规律的惩罚。那个辩护人的意见可能是对的。都是真值模态命题。模态词：1.“必然”可用符号“□”表示2.“可能”可用符号“?”表示。自然语言表示必然的还有“一定”、“必定”、“必将”、“总是”等。表示可能的还有“也许”、“大概”等。第3页，共35页，星期日，2025年，2月5日二、真值模态命题的分类必然肯定命题□p（p可为复合命题）必然否定命题□?p可能肯定命题?p可能否定命题??p第4页，共35页，星期日，2025年，2月5日三、真值模态命题的对当关系?□p???p???p?□p??p?□?p?□?p??p□p→?p□?p→??p第5页，共35页，星期日，2025年，2月5日逻辑方阵图□p反对□?p矛盾矛盾差等差等?p下反对??p第6页，共35页，星期日，2025年，2月5日一、规范模态命题的含义规范模态命题是陈述人们的行为规范的命题。例如，（1）公安机关逮捕人的时侯，必须出示逮捕证。（2）有诉讼权力能力的人可以作为民事诉讼的当事人。（3）禁止用侮辱、诽谤等方式损害公民、法人的名誉。都是规范模态命题。规范模态命题也称道义命题、指令命题。模态词：1.“必须”可用符号“O”表示；2.“允许”可用符号“P”表示；3.“禁止”可用符号“F”表示。第7页，共35页，星期日，2025年，2月5日自然语言表示必须的还有“应当”、“有义务”、“有责任”等；表示允许的还有“可以”、“准予”、“有权利”等；表示禁止的还有“不得”、“不准”、“不许”等。FA??PAFA?O?A?FA?PA?F?A?P?A第8页，共35页，星期日，2025年，2月5日二、规范命题的分类必须型规范命题，也称为义务性规范或强制性规范命题.允许型规范命题，也称为授权性规范命题禁止型规范命题，（可不列为一种单独类型）第9页，共35页，星期日，2025年，2月5日三、对当关系（指“规范”妥当或不妥当的关系）?OA?P?A?P?A?OA?PA?O?A?O?A?PAOA→PAO?A→P?A第10页，共35页，星期日，2025年，2月5日逻辑方阵图OA反对O?A（F?A）（FA）矛盾矛盾差等差等PA下反对P?A第11页，共35页，星期日，2025年，2月5日练习题一、写出下列规范模态命题的逻辑形式1.有下列情况之一的，应当给予开除党籍处分：（一）因故意犯罪被依法判处《中华人民共和国刑法》规定的主刑（含宣告缓刑）的；（二）单处或者附加剥夺政治权利的；（三）因过失犯罪,被依法判处三年以上（不含三年）有期徒刑的。解：设p=“故意犯罪”；q=“被依法判处《中华人民共和国刑法》规定的主刑（含宣告缓刑）”；r=“单处剥夺政治权利”；第12页，共35页，星期日，2025年，2月5日s=“附加剥夺政治权利”；t=“过失犯罪”；u=“被依法判处三年以上