The implication rule states that P → Q = ~P ∨ Q. Using this equivalence, rewrite the sentences (in words) given in Exercises.
We will go skating, if the pond freezes over.
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.