与“如果下雨，我们不去郊游”逻辑等价的有（ ）。

• A、或者不下雨，或者不去郊游
• B、如果不下雨，那么我们去郊游
• C、如果我们去郊游，那么说明天没下雨
• D、并非下雨且我们没去郊游
• E、下雨了且我们没去郊游

A 和 B 这两个概念的外延全异，那么，它们外延之间可能有（ ）。

• A、反对关系
• B、交叉关系
• C、矛盾关系
• D、真包含关系
• E、真包含于关系

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