“所有S都是P”与“有S不是P”这两个逻辑形式，它们（）

“所有S都是P”与“有S不是P”这两个逻辑形式，它们（）
A.变项和逻辑常项都相同
B.变项相同但逻辑常项不同
C.变项不同但逻辑常项相同
D.变项和逻辑常项都不同
正确答案：B