单项选择题

“所有S都是P”与“有S不是P”这两个逻辑形式,它们( )。

A.变项和逻辑常项都相同
B.变项相同但逻辑常项不同
C.变项不同但逻辑常项相同
D.变项和逻辑常项都不同