Math 斯托尔，集合论与逻辑（第161页）：。还有几个成语。。与“相同的含义”；如果是P，那么Q"；

“只有当Q时p”与“如果p，那么Q”如何相同？？这就像说“暗示”（=>）和“iff”（）的意思一样

我的意思是看方向：如果p是真的，那么Q也是真的。另一方面：

---

P是真的，只有当Q是真的-你在测试Q！！什么？？从编译器的角度来看：“仅当Q时P”将导致对Q进行测试？？？

所有这些情况都有以下共同点：

如果

P

为真，

Q

也必须为真

如果

Q

为false，

P

也必须为false

如果

P

为false，

Q

可以为true或false

如果

Q

为真，

P

可以为真或假

---

查看编译器透视图是没有用的。这不是伪代码。这是一个英语习语列表，所有这些习语都产生相同的逻辑结果。此外，

P仅当Q

可能是可怕的伪代码时。它通常是这样工作的：如果（Q）{P；}，而不是

{P；}如果（Q）

…

属于Math.stackexchange.comIt可能涉及编译器has:x if y；但即使在英语中，“如果Q然后P”也意味着你在测试Q而不是P。如果（简是忠实的），哈利会和她呆在一起。请记住，即使在数学中，你也有“如果是先行的，那么是结果的”，你不是在交换先行的和结果吗？不管你是在测试

P

还是测试

Q

，我在回答中的四个陈述都是100%正确的。我不熟悉这篇声明的出处，原帖也断章取义

P只有当Q

与

具有相同的含义，如果P，那么Q

（原始语句）在somuch中，如果我们知道

P

为真，那么

Q

必须为真。如果我们知道

P

为假，

Q

可以为真或假。不管你测试的顺序是什么，这4个场景都是正确的。嗯。。你是在建议“真值表”吗？？“陈述句”：P->Q的行为可以用真值表来说明，生成类似真值表的任何其他“陈述句”必须是等效的。但真值表有3个表达式。。“P”“Q”和“P->Q”，P和Q取T或F值——所有可能的组合。

Several other idioms in English which we shall regard as having the same meaning as "If P, then Q" (where P and Q are sentences):
P implies Q,
  P only if Q,
P is a sufficient condition for Q,
Q, provided that P,
Q if P,
  Q is a necessary condition for P.