如果/那么 — 条件逻辑测验

这被称为空真。一个条件命题“如果 P，那么 Q”是一个承诺：“每当 P 发生时，Q 就会发生。”如果 P 永远不发生（P 为假），那么这个承诺就没有被检验——而一个未被检验的承诺不会被打破。所以条件命题在技术上是真的。这感觉很奇怪，但在逻辑上是一致的：一个假的前件永远不会违反条件命题。

原命题：如果 P，那么 Q (P→Q)。逆否命题：如果非 Q，那么非 P (¬Q→¬P) — 等价于原命题。否命题：如果 Q，那么 P (Q→P) — 不等价于原命题。逆命题：如果非 P，那么非 Q (¬P→¬Q) — 不等价于原命题（但等价于否命题）。记忆技巧：原命题和逆否命题是等价的；否命题和逆命题是互相等价的。

肯定前件式（“肯定前件”）：P→Q, P, ∴Q。如果条件命题成立且前件为真，则后件必为真。例如：“如果下雨，地面就会湿。现在正在下雨。因此，地面是湿的。”这是最基本且普遍有效的演绎推理形式。

否定后件式（“否定后件”）：P→Q, ¬Q, ∴¬P。如果条件命题成立且后件为假，则前件必为假。例如：“如果下雨，地面就会湿。地面没有湿。因此，没有下雨。”这是有效的，因为如果 P 为真，条件命题就会被违反（P=T, Q=F）。

肯定后件：P→Q, Q, ∴P 是无效的。即使条件命题成立且 Q 为真，P 也可能为假——Q 可能由其他原因引起。例如：“如果下雨，地面就会湿。地面是湿的。因此，下雨了。”无效——地面可能是被洒水器弄湿的。条件命题并没有说下雨是地面湿的唯一原因。

正确答案得分：基础级别 10 分，中级级别 15 分，高级级别 20 分。连续答对的答案，在第一个之后，每答对一个将获得 5 分的连击奖励。答错会使连击次数重置为零。