设“所有S是P”和“有P不是S”均真,则S与P在外延上具有()。
A:同一关系
B:交叉关系
C:真包含关系
D:真包含于关系
出自:哲学