In each part, a list of hypotheses is given. These hypotheses are assumed to be true. Using tautologies from Example 1.3.12, you are to establish the desired conclusion. Indicate which tautology you are using to justify each step.
(a) Hypotheses: r ⇒ ~ s, t ⇒ s
Conclusion: r ⇒ ~ t
(b) Hypotheses: r, ~ t, (r ∧ s) ⇒ t
Conclusion: ~ s
(c) Hypotheses: r ⇒ ~s, ~r ⇒ ~t, ~t ⇒ u, v ⇒ s
Conclusion: ~ v ∨ u
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.