命题“有的S不是P”为真,S与P外延的关系可能有三种,分别画三个欧拉图:
1、属种关系(也叫包含关系),画一个圆圈,标为S,在里边再画一个小的同心圆圈,标为P。
2、交叉关系,分别画两个圆圈,两个圆圈局部交叉在一起,分别标为S和P。
3、不相容关系(也叫全异关系),分别画两个各自独立的圆圈,分别标为S和P。
从属关系推理(差等关系推理);
Ⅰ从全称判断的真推出特称判断真:
SAP真→SIP真
SEP真→SOP真
例如:
①从“所有事物是运动变化的”真,推出“有的事物是运动变化的”真。
②从“所有谎言都不是能长久欺骗人的”真,推出“有的谎言不能长久欺骗人”真。
Ⅱ从特称判断假推出全称判断假:
SIP假→SAP假
SOP假→SEP假