含意

Question

私は命題の文に次のような仮説を変換するときに疑いを持っています：

「それは晴れであれば我々は唯一の泳ぎに行くだろう。」

R-> P

rが命題は "私たちは泳ぎに行くだろう" と、pは命題である

は「それは晴れて午後：

私の本は、としてそれに言及します"

これは、推論のルールを使用した証明の一部として言及されました。上記の仮説を "p-> r"と書くと正しいのでしょうか？私はそれがそうであると思うそれは泳ぐための決定が晴れている場合にのみ暗示されるので。しかし、私がこのように進めば、推論のルールを適用することは難しいと思う。

Answer 1

この質問はここにオフトピックですが、私は、迅速な答えを与えるでしょう：

本は正しいです。

We will go swimming (R) only if it is sunny (P)は、If we go swimming (R) then it is sunny (P)と同じです。つまり、私たちが泳ぐときはいつでも、それは晴れているということです。晴れたとき以外は泳ぐことはありません。私たちが泳ぐのは晴れたときだけです。