I'm not able to move forward from step 4. I've tried Implication Introduction applied to 3 and 4 but nothing happens, any help is much appreciated.

enter image description here

  • 1
    I think you started in a good way. You can assume p(X) and use Implication Elimination to derive q(X). – F. Zer May 12 at 23:22

As F.Zer commented, before you can use Implication Introduction you must first make an assumption.

You must derive r(X) under the assumption of p(X), so that you may derive p(X) ⇒ r(X) by Implication Introduction.

| improve this answer | |
  • Thanks a lot guys, I followed those steps and figured it out. I'm leaving the answer here just in case it helps anyone. – Jessie The Pink Man May 13 at 13:25

enter image description here Final answer for this exercise is in the screenshot below.

| improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.