单项选择题 下列关系中同时具有对称性和传递性的是（）。

单项选择题 当“有A不是B”假而“有B不是A”真时，A与B的外延关系应为（）。

单项选择题 以“所有P是M”、“所有S不是M”为大小前提，进行三段论推理，可必然推出（）。