第(3/3)页

    1.全称肯定命题：所有S是P，简称SAP，又称A

    2.全称否定命题：所有S不是P，简称SEP，又称E

    3.特称肯定命题：有S是P，简称SIP，又称I

    4.特称否定命题：有S不是P，简称SOP，又称O

    5.单称肯定命题：某个S是P，简称SaP，又称a

    6.单称否定命题：某个S不是P，简称SeP，又称e

    直言命题的真假

    （这里只分析典型的A、E、I、O四种命题）+代表真，-代表假

    S与P关系

    全同关系

    真包含于关系

    真包含关系

    交叉关系

    全异关系

    SAP

    +

    +

    -

    -

    -

    SEP

    -

    -

    -

    -

    +

    SIP

    +

    +

    +

    +

    -

    SOP

    -

    -

    +

    +

    +

    3.2直言命题直接推理

    一、直接推理是以一个已知命题为前提，推出另一个新命题作为结论的推理（前提只有一个）

    直言命题直接推理就是以一个已知的直言命题为前提，根据直言命题的性质推出结论的推理。它分为两种：一是直言对当关系推理，一是直言变形推理。

    （前提只有一个，是直言命题）

    例子

    甲、乙、丙、丁四人参加逻辑学考试后有以下议论：

    甲：这次考试我看咱们都可以及格

    乙：我看咱们当中肯定有人不及格

    丙：丁可以及格

    丁：如果我能及格，那么我们之中不会有人不及格

    考试结果表明，四人中只有一人预测错误

    请问：谁预测错误？谁及格？

    甲乙一真一假，矛盾关系，所有人都及格，乙错误。

    直言对当关系

    素材相同而形式不相同的直言命题之间存在着真假制约关系，叫做直言对当关系。

    具体情况可用下面逻辑方阵表示：

    矛盾关系的特点：一真一假

    反对关系的特点：至少一假（可以同假，不可同真）

    下反对关系的特点：至少一真（可以同真，不可同假）

    差等关系的特点：上真下就真，下假上就假

    矛盾关系的推理

    直言命题的矛盾关系存在于A与O之间，E与I之间，a与e之间

    由于矛盾关系的命题一真一假，所以矛盾关系推理有10种有效式

    （1）SAP→¬SOP：A与O矛盾，A真，则O假

    （2）SEP→¬SIP

    （3）SIP→¬SEP

    （4）SOP→¬SAP

    （5）SaP→¬SeP

    （6）¬SAP→SOP：如果A假则O真，AO矛盾

    （7）¬SEP→SIP

    （8）¬SIP→SEP

    （9）¬SOP→SAP

    （10）SeP→¬SaP

    反对关系的推理

    直言命题的反对形式存在于A与E之间

    由于反对关系的命题至少一假，所以反对关系推理有2种有效式：

    （1）SAP→¬SEP

    （2）SEP→¬SAP

    下反对命题

    直言命题的下反对关系存在于I与O之间

    有两种有效式：

    （1）¬SIP→SOP

    （2）¬SOP→SIP

    差等关系

    直言命题之间的差等关系存在于A与I之间、E与O之间以及a与A或I之间，e与E或O之间

    由于差等关系的命题上真下就真、下假上就假。所以差等关系有12种有效式

    　　


    第(3/3)页