形式逻辑题已知（A）若P不与M全异,则S与P全异（B）若S与M全异,则S与P交叉（C）S不与P全异,也不与P交叉试推出S,M,P三者的外延关系,并用欧勒图表示之.

形式逻辑题已知（A）若P不与M全异,则S与P全异（B）若S与M全异,则S与P交叉（C）S不与P全异,也不与P交叉试推出S,M,P三者的外延关系,并用欧勒图表示之.
形式逻辑题
已知（A）若P不与M全异,则S与P全异
（B）若S与M全异,则S与P交叉
（C）S不与P全异,也不与P交叉
试推出S,M,P三者的外延关系,并用欧勒图表示之.

形式逻辑题已知（A）若P不与M全异,则S与P全异（B）若S与M全异,则S与P交叉（C）S不与P全异,也不与P交叉试推出S,M,P三者的外延关系,并用欧勒图表示之.

我想知道C是什么意思.不全异也不交叉.还有什么情况

我没学过逻辑.感兴趣 

-------------------------------------

= =找了本电子书来看

外延：是概念对事物的范围的反映.

1. 相容关系

两个概念的外延至少有一部分相同,这两个概念之间的关系称为相容关系.具有相窜关系的概念称为相容概念.

两个概念之间的相容关系主要有四种.

1.1 全同关系

两个概念的全部外延都相同,这种概念之间的关系称为全同关系.具有全同关系的概念称为全同概念.

全同概念的全同,只是指它们的外延全同,而它们的内涵却是不同的.否则它们就是同一个概念,而不是具有全同关系的不同概念.

1.2 真包含关系

一个概念的部分外延与另一个概念的全部外延相同,这两个概念之间的关系称为真包含关系.其中,外延大的概念真包含外延小的概念,称外延大的概念为外延小的概念的属概念,称外延小的概念为外延大的概念的种概念.因此,又将二者的关系称为属种包含关系.

1.3 真包含于关系

一个概念的全部外延与另一个概念的部分外延相同,这两个概念之间的关系称为真包含于关系.其中外延小的概念真包含于外延大的概念.

真包含于关系与真包含关系是一对相反关系.

1.4 交叉关系

一个概念的部分外延只与另一个概念的部分外延相同,这两个概念之间的关系称为交叉关系.这两个概念称为交叉概念.

三个以上概念之间的关系较多,比较常用的是相容并列概念.

2. 不相容关系

两个概念的全部外延都不相同,这两个概念之间的关系为不相容关系.具有不相容关系的概念称为不相容概念.

2.1 全异关系

两个概念不包含于另一个概念的外延之中,并且它们的全部外延都不相同,它们之间的关

系称为全异关系.具有全异关系的概念称为全异概念.

2.2 矛盾关系

两个概念没有相同的外延,并且它们的外延之和等于它们的属概念的外延,它们之间的关系称为矛盾关系.具有矛盾关系的概念称为矛盾概念.

2.3 对立关系

两个概念没有相同的外延,并且它们的外延之和小于它们的属概念的外延,它们之间的关系称为对立关系.具有对立关系的概念称为对立概念.

欧勒图就是像表示集合的圆圈...

------------------------------------------

用集合跟逆否命题想的话

从C开始.S与P可以是包含.包含于.全同.

如果是全同.从A的逆否命题(若S不与P全异.则P与M全异.)得知S与M全异.又由B知.S与P交叉.矛盾了

如果S包含于P.从A的逆否命题(若S不与P全异.则P与M全异.)得知S与M全异(因为S在P内部).由B推出S与P交叉.也矛盾

如果P包含于S.从A的逆否命题(若S不与P全异.则P与M全异.)得知P与M全异.又由B的逆否命题(若S与P不交叉.则S与M不全异).S与M也不可能全同(否则M就包含P了.而P与M全异).所以S与M可以是S包含M或交叉吧.

这样答案不太确定.我没学过这个.不知道回答格式怎么写.大概是这个思路吧.

图大概画一下.M有两种情况