据真值表，下列命题形式中与p→q具有等值关系的是（）。

• A、
• B、
• C、
• D、

“并非有的S不是P”等值于（）。

• A、“有的S是P”
• B、“所有S是P”
• C、“所有S不是P”
• D、“所有P是S”

三段论第四格的结构如题43图所示：

试运用三段论的基本规则证明：如果一个第四格的有效三段论的大前提是肯定命题，那么其小前提必须是全称命题。