“一个推理只有形式正确,才能得出可靠的结论,这个推理结论不可靠，所以这个推理形式不正确。”这个假言推理使用了（）

• A、正确的否定后件式
• B、错误的否定后件式
• C、正确的否定前件式
• D、错误的否定前件式

“或者p,或者q”的逻辑含义是（）

• A、p和q只有一真,不能同真
• B、p和q至少一真
• C、p和q至多一真,不可能同假
• D、p和q可能都假

三段论第二格的结构是:

试运用三段论基本规则证明第二格的大前提必须是全称命题。