▲点击上方“蓝字”关注我

今天是我日更的第147/200天

一、从属关系直接推理

是在具有从属关系的直言判断之间进行的推理。

在直言判断的对当关系中，A判断和I判断之间、E判断与O判断之间具有从属关系。

根据从属关系的逻辑性质可知，A真则I真，I假则A假，当A假或I真时，另一个真假不定；

同样，E真则O真，O假则E假，当E假或O真时，另一个真假不定。

所以，可进行如下推理：由SAP（真）推出SIP（真）或由SIP（假）推出SAP（假）。

所有衣服都是穿戴品，所以，有的衣服是穿戴品。（SAP→SIP）

并非有些苹果是坚果，所以，并非所有苹果是坚果。（-SIP→-SAP）

所有男人都不是女人，所以，有的男人不是女人。（SEP→SOP）

并非有些足球明星是天生的，所以，并非所有足球明星都是天生的。（-SOP→-SEP）

二、矛盾关系直接推理

是在具有矛盾关系的直言判断之间进行的推理。

在直言判断的对当关系中，A判断和O判断之间、E判断与I判断之间具有矛盾关系。

根据矛盾关系的逻辑性质可知，具有矛盾关系的直言判断不能同真，也不能同假，

即其中一个判断为真时，另一个必为假；其中一个为假时，另一个必为真。

所以，可进行如下推理：由SAP（真）推出SOP（假），或由SAP（假）推出SOP（真）；

由SOP（真）推出SAP（假，）或由SOP（假）推出SAP（真）。

所有人都要吃饭，所以，并非有的人不要吃饭。（SAP→-SOP）

并非所有可乐都是可口可乐，所以，有的可乐不是可口可乐。（-SAP→SOP）

有些人不是党员，所以，并非所有人都是党员。（SOP→-SAP）

并非有的人不会呼吸，所以，所有人都会呼吸。（-SOP→SAP）

所有香蕉都不是苹果，所以，并非有些香蕉是苹果。（SEP→-SIP）

并非所有车都不是公交车，所以，有些车是公交车。（-SEP→SIP）

有些西瓜是水果，所以，并非所有西瓜都不是水果。（SIP→-SEP）

并非有些男人是女人，所以，所有男人都不是女人。（-SIP→SEP）

欢迎点赞，转发给我鼓励~

我是郑懿，关注我，陪你一起持续进步。

文中部分内容引自《图解逻辑学》明道（著），中国华侨出版社，2018年3月出版