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

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

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

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

从真值表来验证（ （ p→q）∧﹁ p）├﹁q 是否为有效式。