Got Homework?
Connect with other students for help. It's a free community.
Here's the question you clicked on:
 0 viewing
lgbasallote
Group Title
Evaluate: \[[\neg p \wedge (p \vee q)] \rightarrow q\]
 one year ago
 one year ago
lgbasallote Group Title
Evaluate: \[[\neg p \wedge (p \vee q)] \rightarrow q\]
 one year ago
 one year ago

This Question is Open

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
i suppse \[\neg p \wedge (p \vee q) \equiv p\]
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
so then it becomes \[p \rightarrow q\]
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
then what?
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
oh i see
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
i made a mistake
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
\[\neg p \wedge (p \vee q) \equiv F \vee (\neg p \wedge q) \rightarrow q\]
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
then this becomes \[T \wedge (p \vee q) \vee q\]
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
then \[T \wedge (p \vee q) \equiv p \vee q \]
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.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

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
\[\equiv p \vee q \vee q\] \[q \vee q \equiv T\] so.. \[\equiv p \vee T \equiv T\] yes?
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
so then this is a tautology?
 one year ago

PhoenixFire Group TitleBest ResponseYou've already chosen the best response.0
implication law is P>Q=nP V Q Right? Sorry for no Latex,
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
so is that a yes to my question?
 one year ago

PhoenixFire Group TitleBest ResponseYou've already chosen the best response.0
yes it's a tautology, but you messed something up and somehow ended up with a tautology anyways lol
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
where?
 one year ago

UnkleRhaukus Group TitleBest ResponseYou've already chosen the best response.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

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
hmm looks different...
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
implication is distributive?
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
seems you're the one who went wrong @PhoenixFire ....
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.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

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
hmm seems i missed a step too
 one year ago

lgbasallote Group TitleBest ResponseYou've already chosen the best response.0
nevertheless, important thing is.. i was right....that was my question in the first place anyways
 one year ago

PhoenixFire Group TitleBest ResponseYou've already chosen the best response.0
de morgans law.... you have to negate both. n(nP ^ Q) V Q becomes nnP V nQ V Q
 one year ago

PhoenixFire Group TitleBest ResponseYou've already chosen the best response.0
nnP < Involution law becomes P. What you missed was distributing the negative to the Q during De Morgan's Law
 one year ago
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
 Engagement 19 Mad Hatter
 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.