已知P与M是全同关系,又知有S不是M为真,则下列为真的判断是()。
A:有S是P
B:有S不是P
C:有P是S
D:有P不是S
出自:法学