命题演算中的蕴涵
Implication in Propositional Calculus
我对将以下假设转化为命题有疑问：
"We will go swimming only if it is sunny."
我的书提到它是：
r->p
其中 r 是命题 "we will go swimming"，p 是命题 "it is sunny this afternoon"。
这是作为使用推理规则的证明的一部分提到的。如果我把上面的假设写成"p->r"对不对？我认为是这样，因为只有在晴天时才暗示去游泳的决定。但是如果我这样做，我发现很难应用推理规则。
虽然这个问题在这里是题外话，但我会快速回答：
这本书是正确的。
We will go swimming (R) only if it is sunny (P)等同于If we go swimming (R) then it is sunny (P)。也就是说，每次我们去游泳的时候，也是晴天。除了晴天，我们没有去游泳的情况。我们唯一一次去游泳是在晴天。
我对将以下假设转化为命题有疑问：
"We will go swimming only if it is sunny."
我的书提到它是：
r->p
其中 r 是命题 "we will go swimming"，p 是命题 "it is sunny this afternoon"。
这是作为使用推理规则的证明的一部分提到的。如果我把上面的假设写成"p->r"对不对？我认为是这样，因为只有在晴天时才暗示去游泳的决定。但是如果我这样做，我发现很难应用推理规则。
虽然这个问题在这里是题外话，但我会快速回答：
这本书是正确的。
We will go swimming (R) only if it is sunny (P)等同于If we go swimming (R) then it is sunny (P)。也就是说，每次我们去游泳的时候，也是晴天。除了晴天，我们没有去游泳的情况。我们唯一一次去游泳是在晴天。