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

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

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

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

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

属于三段论第四格的有效式的有（）。

• A、EAE
• B、AAI
• C、El0
• D、AOO
• E、AAA