（第3讲）命题和 与性质命题部分.ppt

课堂练习 1．若a与b交叉，且b真包含c，则下述命题中必然为真的是（ ）。 ①所有a是c（aAc） ②所有a不是c（aEc） ③有的a是c（aIc） ④有的a不是c（aOc） ④ 课堂练习 2．若a与b交叉，且b真包含于c，则下述命题中必然为真的是（ ）。 ①所有a是c（aAc） ②所有a不是c（aEc） ③有的a是c（aIc） ④有的a不是c（aOc） ③ 课堂练习 3．若“有的A是B”和“有的A不是B”都真，则A与B之间的关系不可能是（ ）。 ①全同关系 ②交叉关系 ③全异关系 ④种属关系 ⑤属种关系 ③ ④ ① 课堂练习 4．2005年版《指南》 p94 四1 或者 2002年版《指南》p92 四1 或者 2000年版《指南》P109 四1 6．直言命题间的对当关系原理 6.1.直言命题间的对当关系 （1）广义：任意两个或多个直言命题之间的真假制约关系。 （2）狭义：逻辑变项相同（素材相同）的A、E、I、O之间的真假制约关系。 6.2. A、E、I、O间的对当关系原理 （1）SAP与SEP之间 S P P S S P S P S P SAP + + - - - SEP - - - - + 具有反对关系 （2）SIP与SOP之间 S P P S S P S P S P SIP + + + + - SOP - - + + + 具有下反对关系 （3）SAP与SOP之间 S P P S S P S P S P SAP + + - - - SOP - - + + + 具有矛盾关系 SEP与SIP之间也具有矛盾关系 （4）SAP与SIP之间 S P P S S P S P S P SAP + + - - - SIP + + + + - 具有差等关系 SEP与SOP之间也具有差等关系 （5）逻辑方阵（logical square）（通称“直言方阵”） SAP SEP SIP SOP 反对关系 下反对关系 差等关系 差等关系 矛盾 关系 矛盾 关系 SAP SEP SIP SOP 反对关系 下反对关系 差等关系 差等关系 矛盾关系 矛盾关系 + - - + + + - + ± - ± - A、E、I、O之间的全部推导关系 6.3.命题之推导的真假与事实的真假 根据对当关系原理，若已知“有的法官是懂法律的”为真，则可知“所有法官都是懂法律的”这一命题为（ ）。 命题推导的真假，亦称逻辑的真假（logical truism），而命题事实的真假，即经验的真假（physical truism），二者并非一回事。 可真可假 6.4.关于单称命题之间的对当关系 6.4.1.逻辑变项相同的SFP（单称肯定命题）与SNP（单称否定命题）间具有矛盾关系。 6.4.2.主项相同、谓项不同的两个单称肯定命题间： （1）若谓项是矛盾概念，则二者间具有矛盾关系； （2）若谓项是反对概念，则二者间具有反对关系。 6.4.3.主项相同、谓项不同的两个单称否定命题间： （1）若谓项是矛盾概念，则二者间具有矛盾关系 例如： ①张××不是成年人 ②张××不是未成年人 （2）若谓项是反对概念，则二者间具有下反对关系 例如： ①张××不是青年人 ②张××不是老年人 6.5．直言六角（补充内容）（A、E、I、O、F、N之间的对当关系） SAP SEP SIP SOP SFP SNP 3．命题形式之间的逻辑关系 （补充内容） 3.1.命题形式之间的逻辑关系 命题形式间的逻辑关系，就是指任意两个命题形式之间的真假制约关系，逻辑史上通称为（命题形式之间的） “对当关系”（opposition）。 ※※3.2.各种对当关系的涵义及其逻辑特征 符号的涵义，约定如下： “＋”表示“真” “－” 表示“假” “±”表示“可真可假”（真假不定） 任意两命题形式f(x)与f(y)之间可能存在的对当关系有如下几种情形： （1）等值关系（equivalent） f(x) f(y) + + -