Here's the question you clicked on:

55 members online
  • 0 replying
  • 0 viewing

ajprincess

  • 3 years ago

plzzz help. prove (p→q)∧(r→q) = (pvr)→q

  • This Question is Closed
  1. JamesJ
    • 3 years ago
    Best Response
    You've already chosen the best response.
    Medals 1

    First step: how do you write (p→q) as an logical expression that does not use the implication symbol → ?

  2. ajprincess
    • 3 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    |dw:1338105778405:dw|

  3. JamesJ
    • 3 years ago
    Best Response
    You've already chosen the best response.
    Medals 1

    ~pvq or ~(p^~q), right So, rewrite now both sides of your expression using this rule and see what you get.

  4. JamesJ
    • 3 years ago
    Best Response
    You've already chosen the best response.
    Medals 1

    (p→q)∧(r→q) = (~p v q) ^ (~r v q) -- (*) and (pvr)→q = (~(pvr) v q) -- (**) So you need now just to show the two right-hand side expressions of (*) and (**) are equivalent.

  5. ajprincess
    • 3 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    Nw I get t. when I take vq out I will get (~p^~r) which is equal to (~(pvr)vq)

  6. JamesJ
    • 3 years ago
    Best Response
    You've already chosen the best response.
    Medals 1

    right

  7. ajprincess
    • 3 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    Thanxxxx a lot.

  8. Not the answer you are looking for?
    Search for more explanations.

    • Attachments:

Ask your own question

Sign Up
Find more explanations on OpenStudy
Privacy Policy