A community for students.
Here's the question you clicked on:
 0 viewing
anonymous
 4 years ago
discrete math:(attached)
anonymous
 4 years ago
discrete math:(attached)

This Question is Closed

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0first of all the answer is definitely T

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0looks like you are on the right track, it is hard for me to read it all you are turning each implication of the form \(p\to q\) into a statement of the form \(p\lor\lnot q\)

mathmate
 4 years ago
Best ResponseYou've already chosen the best response.2Remember that de Morgan's law requires you to interchange the and / or, like: ~(~a or b) <=> a ^ ~b

mathmate
 4 years ago
Best ResponseYou've already chosen the best response.2So there is a problem in the first term of the third line (second written line).

mathmate
 4 years ago
Best ResponseYou've already chosen the best response.2The same problem with the second term. Otherwise, it will be the same as what you did.

mathmate
 4 years ago
Best ResponseYou've already chosen the best response.2You skip a lot of steps, as @satellite73 pointed out. You may lose points in an exam.

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0\(\lnot (p\to q)\) \(\lnot (p\lor \lnot q)\) \(\lnot p \land q\) i believe

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0@mathmate probably has a better explanation, but as he/she said take it slow

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0so can you write it out?

mathmate
 4 years ago
Best ResponseYou've already chosen the best response.2I will follow your thoughts.

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0\[\lnot[(p\to q) \land (q\to r)]\lor (q\to r)\] may be better, yes?

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0hold up. im gonna write it all out and you guys tell me if its right

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0but i kind of suck at this, so i will let mathmate check steps

mathmate
 4 years ago
Best ResponseYou've already chosen the best response.2First replace all p>q etc with the or equivalents, ~[(~p or q) ^ (~q or r) ] or (~p or r)

mathmate
 4 years ago
Best ResponseYou've already chosen the best response.2Now apply de Morgan's ~(~p or q) or ~(~q or r) or (~p or r)

mathmate
 4 years ago
Best ResponseYou've already chosen the best response.2Apply de Morgan again: (p ^ ~q) or (q ^ ~r) or ~p or r

mathmate
 4 years ago
Best ResponseYou've already chosen the best response.2Rearrange (commutativity of "or") ~p or (p^~q) or r or (q^~r)

mathmate
 4 years ago
Best ResponseYou've already chosen the best response.2Now use associativity: [~p or (p^~q)] or [r or (q^~r)]

mathmate
 4 years ago
Best ResponseYou've already chosen the best response.2Would that be obvious now?

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0BAsically im going to assume things to be True or false and then go on from there...

mathmate
 4 years ago
Best ResponseYou've already chosen the best response.2Your last approach is called proof by cases. Since there are three variables, you will need to have 8 cases, which is equivalent to a truth table. The idea here is to do a proof without a truth table.

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0allow me to butt in a second if you were going to prove this using a truth table, all the above work would be unnecessary you would simply construct the truth table for this (it might take a while) and observe that you get all T in the last column

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0your job doing this method is to try to come up with an expression that looks like \(p\lor \lnot p\) which you can then replace by \(T\)

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0it is hidden in the last line written by @mathmate

mathmate
 4 years ago
Best ResponseYou've already chosen the best response.2Let's take it from: [~p or (p^~q)] or [r or (q^~r)] use distributivity: [(~p or p) ^ (~p or ~q)] or [(r or q) ^ (r or ~r)] which reduces to [T ^ (~p or ~q)] or [(r or q) ^ T] or (~p or ~q) or (r or q) => ~p or r or (q or ~q) => ~p or r or T => T

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0like that. hope the method is clear. if you wanted to work from cases there would be no reason to change for example \(p\to q\) into \(\lnot p \lor q\)

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0when you do these without truth tables and you want to prove something is true, (at the risk or repeating myself) try to look for \(p \lor \lnot p\)

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0woah, this is intense... reading what you guys did, i undertsand it all.. but is there a way to "learn this stuff" bec my teacher did NOT do this...

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0if this was not the method, then as i said you could write out the entire truth table and see that the last column was all T

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0no, that's wat i did originally and then i realized that in the instructions my professor said specifically NOT to use tables :(

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0it would look like this \[\begin{array}{cccccccc} P & Q & R & P\Rightarrow{}Q & Q\Rightarrow{}R & (P\Rightarrow{}Q)\land{}(Q\Rightarrow{}R) & P\Rightarrow{}R & ((P\Rightarrow{}Q)\land{}(Q\Rightarrow{}R))\Rightarrow{}(P\Rightarrow{}R) \\ \hline 0 & 0 & 0 & 1 & 1 & 1 & 1 & 1 \\ 0 & 0 & 1 & 1 & 1 & 1 & 1 & 1 \\ 0 & 1 & 0 & 1 & 0 & 0 & 1 & 1 \\ 0 & 1 & 1 & 1 & 1 & 1 & 1 & 1 \\ \hline 1 & 0 & 0 & 0 & 1 & 0 & 0 & 1 \\ 1 & 0 & 1 & 0 & 1 & 0 & 1 & 1 \\ 1 & 1 & 0 & 1 & 0 & 0 & 0 & 1 \\ 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 \\ \hline \end{array}\]

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0well not really, i used a machine to do this

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0don't be put off by all this nonsense. the statement itself is completely obvious. like saying if r is contained in q and q is contained in p then r is contained in p doh

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0you just have to grind it til you find it, there is no other way. write out what you know and see what you can find. practice will help, but of course in real life no one ever does such a thing so it will only serve you for your next exam. then you can forget about it. until the final
Ask your own question
Sign UpFind more explanations on OpenStudy
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.