根据对当关系，推理正确的有（ ）。

• A、SAP ├﹁ SEP
• B、﹁SAP├ SEP
• C、SEP├﹁ SAP
• D、﹁SEP├ SAP
• E、SIP├ SAP

若“如果某甲掌握了两门外语，那么他精通逻辑”为假，则为真的是（ ）。

• A、某甲掌握两门外语并且精通逻辑
• B、某甲掌握两门外语但不精通逻辑
• C、某甲没有掌握两门外语但精通逻辑
• D、某甲没有掌握两门外语，也不精通逻辑

三段论第二格的结构是：

P—— M

S—— M

S—— P

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