“有些S是P”和“所有S不是P”这两个命题形式（）。

• A、逻辑常项不同但是变项相同
• B、逻辑变项和常项均不同
• C、逻辑变项和常项均相同
• D、逻辑变项不同但是常项相同

以“如果张三是一个好干部，那么他会清正廉洁”为前提，试分析：

(1) 加上另一个前提：“张三清正廉洁”，能否必然得出结论，为什么?

(2) 加上另一个前提：“张三是一个好干部”，能否必然得出结论，为什么?

从SEP可以推出（）。

• A、PIS
• B、SIP
• C、PES
• D、SAP