第3讲性质命题及其推理1.ppt

第三讲 性质命题及其推理1 ;;;（是否包含模态词）模态命题与非模态命题。 模态命题 狭义的模态命题指含具“必然”、“可能”这类模态词的真值模态命题； 广义的模态命题有规范模态命题、认识模态命题、价值模态命题等。 非模态命题 不包含原子命题的简单命题和包含若干原子命题的复合命题。 其中，简单命题可分为表述思维对象性质的性质命题和表述思维对象之间关系的关系命题； 复合命题可分为联言命题、选言命题、假言命题和负命题。 ;命题种类 ;二、推理概述;;;4， 推理的有效性与真实性;第二节性质命题和对当关系推理;;;;“;; 命题类型 ;S P ;二、性质命题对当关系推理;A;矛盾关系的特点及其推理 ;;反对关系及其推理 ;3．下反对关系及其推理;4．从属关系及其推理;;A;;不规范句转换; ;;;1，? 如果所有的鸟都会飞，并且鸵鸟是鸟，则鸵鸟会飞。鸵鸟不会飞，??鸵鸟是鸟。我们仍不能逻辑地确定下列那些陈述的的真假？;解题过程;;第三节 性质命题变形推理 ;;;SAP → PIS;SEP → PES， ;SIP → PIS;SOP不能换位;3．换质位法 ;;;其三、三个步骤以上的变形推导 ;三、练习题;;2. 根据对当关系推出其它三个命题的真假情况：;2. 根据对当关系推出其它三个命题的真假情况：;3。判断以下推导是否正确（在括号中填“∨”或“×”）：;;判断以下对当关系推理是否正确：;判断以下前提能否推出后面的结论：;对以下命题进行换质位法推理：;判断以下命题变形推理是否正确：;;综合练习：;;