Quantcast

Got Homework?

Connect with other students for help. It's a free community.

  • across
    MIT Grad Student
    Online now
  • laura*
    Helped 1,000 students
    Online now
  • Hero
    College Math Guru
    Online now

Here's the question you clicked on:

55 members online
  • 0 replying
  • 0 viewing

ajprincess Group Title

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

  • 2 years ago
  • 2 years ago

  • This Question is Closed
  1. JamesJ Group Title
    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 years ago
  2. ajprincess Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    |dw:1338105778405:dw|

    • 2 years ago
  3. JamesJ Group Title
    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.

    • 2 years ago
  4. JamesJ Group Title
    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.

    • 2 years ago
  5. ajprincess Group Title
    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)

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

    right

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

    Thanxxxx a lot.

    • 2 years ago
    • Attachments:

See more questions >>>

Your question is ready. Sign up for free to start getting answers.

spraguer (Moderator)
5 → View Detailed Profile

is replying to Can someone tell me what button the professor is hitting...

23

  • Teamwork 19 Teammate
  • Problem Solving 19 Hero
  • You have blocked this person.
  • ✔ You're a fan Checking fan status...

Thanks for being so helpful in mathematics. If you are getting quality help, make sure you spread the word about OpenStudy.

This is the testimonial you wrote.
You haven't written a testimonial for Owlfred.