<p> “有S是P”与“有S不是P”之间是下反对关系,它们不能同假,必有一真。<br> 由题意可知,“有P不是S”是假的。<br> 由“有P不是S”为假,根据对当关系中的矛盾关系可知,“所有P都是S”为真。<br> 由“所有P都是S”为真,根据换位推理可得,“有S是P”为真。(注意,它们不是互推的。)<br> 由“有P不是S”假和“有S是P”真,根据题意得,“有S不是P”为假。<br> 由“有S是P”为真、“有S不是P”和“有P不是S”皆为假,按照主谓项的外延与性质命题的真假之间的关系可得,S与P之间的外延关系是同一关系。</p>