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

lgbasallote

Evaluate: \[[\neg p \wedge (p \vee q)] \rightarrow q\]

  • one year ago
  • one year ago

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

    i suppse \[\neg p \wedge (p \vee q) \equiv p\]

    • one year ago
  2. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    so then it becomes \[p \rightarrow q\]

    • one year ago
  3. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    then what?

    • one year ago
  4. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    oh i see

    • one year ago
  5. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    i made a mistake

    • one year ago
  6. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    \[\neg p \wedge (p \vee q) \equiv F \vee (\neg p \wedge q) \rightarrow q\]

    • one year ago
  7. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    then this becomes \[T \wedge (p \vee q) \vee q\]

    • one year ago
  8. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    then \[T \wedge (p \vee q) \equiv p \vee q \]

    • one year ago
  9. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    in my solution i will be treating them the same....my latex is gonna get confusing if i follow the rules

    • one year ago
  10. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    \[\equiv p \vee q \vee q\] \[q \vee q \equiv T\] so.. \[\equiv p \vee T \equiv T\] yes?

    • one year ago
  11. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    so then this is a tautology?

    • one year ago
  12. PhoenixFire
    Best Response
    You've already chosen the best response.
    Medals 0

    implication law is P->Q=nP V Q Right? Sorry for no Latex,

    • one year ago
  13. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    yes

    • one year ago
  14. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    so is that a yes to my question?

    • one year ago
  15. PhoenixFire
    Best Response
    You've already chosen the best response.
    Medals 0

    yes it's a tautology, but you messed something up and somehow ended up with a tautology anyways lol

    • one year ago
  16. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    where?

    • one year ago
  17. UnkleRhaukus
    Best Response
    You've already chosen the best response.
    Medals 0

    \[\small¬p∧(p∨q)\Rightarrow q\iff(\neg p\wedge p) \vee(\neg p\lor q)\Rightarrow q\iff (\neg p\lor q)\Rightarrow q \iff (\neg p\Rightarrow q)\vee(q\Rightarrow q )\]\[\iff q\Rightarrow q\qquad \top\]

    • one year ago
  18. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    hmm looks different...

    • one year ago
  19. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    implication is distributive?

    • one year ago
  20. PhoenixFire
    Best Response
    You've already chosen the best response.
    Medals 0

    • one year ago
    1 Attachment
  21. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    seems you're the one who went wrong @PhoenixFire ....

    • one year ago
  22. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    \[(\neg p \wedge q) \rightarrow q\] should become \[\neg(\neg p \wedge q) \vee q\] by DM law \[p \vee q \vee q\]

    • one year ago
  23. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    hmm seems i missed a step too

    • one year ago
  24. lgbasallote
    Best Response
    You've already chosen the best response.
    Medals 0

    nevertheless, important thing is.. i was right....that was my question in the first place anyways

    • one year ago
  25. PhoenixFire
    Best Response
    You've already chosen the best response.
    Medals 0

    de morgans law.... you have to negate both. n(nP ^ Q) V Q becomes nnP V nQ V Q

    • one year ago
  26. PhoenixFire
    Best Response
    You've already chosen the best response.
    Medals 0

    nnP <-- Involution law becomes P. What you missed was distributing the negative to the Q during De Morgan's Law

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