用欧拉图表示性质命题的主项（S）和谓项（P）的关系。已知“有S是P”为真，请用欧拉图表示S和P之间的各种关系，并举出实例。

正确答案: “有S是P”为真，S和P之间的关系有四种可能，用欧拉图可表示如下：
（1）表示实际上S和P是全同关系。例如，“所有的花都是种子植物的有性繁殖器官”。
（2）表示实际上S真包含于P。例如，“所有的欧洲人都是人”。
（3）表示实际上S真包含P。例如，“有些人是懂西班牙语的。”
（4）表示S和P实际上是交叉关系。例如，“有些学生是非洲人”。
如果事实上S和P是处于上述四种关系之一，在这种情况下，做出“有S是P”这个命题，就是真命题。