逻辑 有些s不是p 为什么不能等于 有些p不是s呢?

题目

逻辑 有些s不是p 为什么不能等于 有些p不是s呢?

我想问为什么有些s不是p 不能等于有些p不是s呢?在这图举的例子中,的确有些p不是s啊,满足 有些 不就行了吗?

答案

如图所示,P包含于S（你的图只是一种情况）,此种情况下PAS
其实还有一种情况,全异关系,所有S不是P,但也推出有些P不是S