“所有S不是P。”这个命题形式的逻辑常项是（）。逻辑变项是（）。