更多类似游戏
如何玩“如果/那么”
学习真值表
大厅中的真值表是一切的基础。P→Q 在一种情况下为假：当 P 为真且 Q 为假时。在所有其他情况——包括 P 为假时——条件命题都为真。这种“空真”（假的前件使条件命题为真）是初学者最反直觉的概念。
识别推理规则
肯定前件式 (Modus Ponens) (P→Q, P, ∴Q) 和否定后件式 (Modus Tollens) (P→Q, ¬Q, ∴¬P) 是有效的。否定前件式 (P→Q, ¬P, ∴¬Q) 和肯定后件式 (P→Q, Q, ∴P) 是无效的谬误。基础级别测试所有这四种。
掌握等价形式
中级级别测试四种相关形式：逆否命题 (¬Q→¬P，等价于原命题)、否命题 (Q→P，不等于原命题)、逆命题 (¬P→¬Q，不等于原命题)，以及双条件命题 (P↔Q，仅当 P 和 Q 相同时为真)。还有：P→Q ≡ ¬P∨Q 是析取等价式。
处理高级情况
高级问题探讨：链式假言三段论 (A→B→C→D 给出 A→D)；如果已知 P→Q 为假，我们可以确定什么 (P=T, Q=F)；重言式如 (P→Q)∨(Q→P)；以及否定 ¬(P→Q) = P∧¬Q。这些内容涵盖了离散数学和形式逻辑课程的内容。
主要功能
3 个级别的 45 个问题
基础级别（15 个）：P→Q 的完整真值表，包括所有四行；识别唯一为假的情况（P=T，Q=F）；肯定前件式（P→Q，P，∴Q）；否定后件式（P→Q，¬Q，∴¬P）；否定前件式和肯定后件式为何无效；以及空真（假的前件 = 永真）。中级级别（15 个）：逆否命题（¬Q→¬P）、否命题（Q→P）、逆命题（¬P→¬Q）；哪些对是逻辑等价的；双条件命题（P↔Q）；析取等价式（P→Q ≡ ¬P∨Q）；条件命题的否定；以及假言三段论。高级级别（15 个）：链式条件；重言式；知道 P→Q 为假会强制 P=T 且 Q=F；组合条件来证明双条件命题；从 P→Q 和 ¬P→Q 确定 Q；以及 P→P 的逻辑含义。
交互式真值表大厅
大厅显示 P→Q 的完整真值表，带有颜色编码的真值——绿色圆片表示 TRUE，红色表示 FALSE——并高亮显示产生 FALSE 的那一行。这作为持久的参考，并在测验开始前教授核心机制。
语义选择着色
显示 TRUE 的答案选项在选择前就已 subtly 地染成绿色，显示 FALSE 的选项染成红色，与其语义含义相匹配。这有助于建立真值标签与其含义之间的关联，而不是将所有选择视为视觉上相同。
等宽逻辑符号
问题和解释使用标准的逻辑符号：P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴。等宽字体使逻辑结构易于扫描，并反映了条件命题在离散数学、计算机科学和 SAT/LSAT 正式推理部分中的出现方式。
常见问题
为什么“如果假，那么任何事”为真？
这被称为空真。一个条件命题“如果 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 分的连击奖励。答错会使连击次数重置为零。