Here's the question you clicked on:

55 members online
  • 0 replying
  • 0 viewing

lgbasallote

  • 3 years ago

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

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

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

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

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

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

    then what?

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

    oh i see

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

    i made a mistake

  6. lgbasallote
    • 3 years ago
    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\]

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

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

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

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

  9. lgbasallote
    • 3 years ago
    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

  10. lgbasallote
    • 3 years ago
    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?

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

    so then this is a tautology?

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

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

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

    yes

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

    so is that a yes to my question?

  15. PhoenixFire
    • 3 years ago
    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

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

    where?

  17. UnkleRhaukus
    • 3 years ago
    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\]

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

    hmm looks different...

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

    implication is distributive?

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

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

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

  22. lgbasallote
    • 3 years ago
    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\]

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

    hmm seems i missed a step too

  24. lgbasallote
    • 3 years ago
    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

  25. PhoenixFire
    • 3 years ago
    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

  26. PhoenixFire
    • 3 years ago
    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

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