单项选择题 下列根据对当关系所进行的推理有效的是（）。

单项选择题 如果有S是P，有S不是P，并且有P不是S，那么S、P这两个词项具有（）。

单项选择题 一个有效三段论的小前提是SOM，其大前提应是（）。