“神州五号”飞船发射的成功标志着我国载人航天事业进入了世界强国行列。当“神州五号”飞船在太空运行时，处于失重状态的宇航员杨利伟的身体质量_______ （选填“变大”、“变小”或 “不变”）。

若—个性质判断的主项和谓项都周延，则这一判断的逻辑形式—定是（）。

A.所有S都是P

B.所有5都不是P

C.有的S是P

D.有的S不是P