湖南工业大学《逻辑学》课件-第六章.pptVIP

第六讲模态命题及其推理一、模态命题1.什么是模态命题包含有模态词的命题例：明天肯定继续天晴。张三可能不是故意旷课的。“必然”、“可能”、“必须”、“允许”、“禁止”2.模态命题的种类(1)规范（义务）模态命题：包含“必须”、“允许”、“禁止”等规范模态词的命题，它规定人们行为情况例：中国禁止公务员经商。上课必须安静。不作深谈不禁止即可以、允许不应该、不允许即禁止必须不即禁止、禁止不即必须不必须即可以不应该不即可能、或许(2)真值（客观）模态命题：包含“必然”、“可能”等真值模态词的命题，即断定事物必然性或可能性（或然性）的命题例：小李可能既不喜欢张三又不喜欢王五。真值模态命题的结构：模态词加肢命题真值模态词及其符号必然命题：“必然”、“一定、肯定、绝对”等（□）可能命题：“可能”、“也许、或者”等（

）模态词在命题中的位置可以前置、中置、后置肢命题可以是简单命题也可以是复合命题二、简单真值模态命题的对当关系及推理1、简单真值模态命题的种类：必然肯定命题（□P）必然否定命题（□?P）可能肯定命题（

P）可能否定命题（

?P）必然大学生都是团员2、简单真值模态命题的对当关系必然并非大学生都是党员可能大学生都是党员可能并非大学生都是