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

dwally89 Group Title

Logic: Given ((p^¬q)v(¬p^q)) |- (p v q)

  • 2 years ago
  • 2 years ago

  • This Question is Open
  1. arcticf0x Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Ah, with or without the truth table? And whats your take on how to begin?

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

    I'm pretty sure that truth tables are not allowed

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

    I've started by assuming ¬(p v q) and hoping to prove by contradiction (Reductio Ad Absurdum)

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

    any ideas?

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

    hmm, what is the |-?

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

    have you studied logic before?

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

    because if you've studied logic, then surely you should know what that symbol is...

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

    I have a general idea about logics, from digital electronics. This has to be similar right?

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

    not quite

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

    this is propositional logic

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

    is that a \bot?

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

    if it is, then this contradiction can be easily proved by truth table...

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

    truth tables not allowed

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

    Let be . Show that but that neither nor (Note: this question is using Propositional logic) My current attempt is this: 1. Given 2. Assume 3. Assume 4. Using "OR introduction" 5. Contradiction in lines 2 and 4 6. Derive using Reductio Ad Absurdum 7. Assume 8. Using "OR introduction" 9. Contradiction in lines 2 and 8 10. Derive using Reductio Ad Absurdum 11. Using "AND introduction"

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

    copy and paste?

    • 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.