A community for students. Sign up today!
Here's the question you clicked on:
 0 viewing
 2 years ago
How can I simplify this: \[\left(P\wedge\neg R\right)\vee\left(P\wedge\neg Q\right)\vee\left(Q\wedge\neg R\right)\]
 2 years ago
How can I simplify this: \[\left(P\wedge\neg R\right)\vee\left(P\wedge\neg Q\right)\vee\left(Q\wedge\neg R\right)\]

This Question is Closed

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2I've been working on this but it seem I can't do anymore. =/

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2The original expression is this: \[\left(P\Rightarrow R\right)\Rightarrow\left[\left(P\Rightarrow Q\right)\wedge\left(Q\Rightarrow R\right)\right]\]

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2I see that it is like prove the transitivy propertie for the implication operator. I made a truth table for this and it turned out to be false, but I want to get to the same conclussion without using truth tables.

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2This is the work I've done so far.

abb0t
 2 years ago
Best ResponseYou've already chosen the best response.0Well, tautology is a proposition that is always true. That's all I know. That's all I know.

Rohangrr
 2 years ago
Best ResponseYou've already chosen the best response.1good reasoning @Nodata

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2@brinethery Do you have any idea?

wio
 2 years ago
Best ResponseYou've already chosen the best response.2Are you sure it's true? It looks like the converse is true.

wio
 2 years ago
Best ResponseYou've already chosen the best response.2\[ \left(P\Rightarrow R\right)\Rightarrow\left[\left(P\Rightarrow Q\right)\wedge\left(Q\Rightarrow R\right)\right] \]Suppose \(P \gets T\quad Q\gets F\quad R\gets T \) \[ (T\implies T)\implies [(T\implies F)\wedge (F \implies T)] \\ T\implies (F\wedge T) \\ T\implies F \\ F \]

Edutopia
 2 years ago
Best ResponseYou've already chosen the best response.0I feel like q is irrelvent and its just If P then R

wio
 2 years ago
Best ResponseYou've already chosen the best response.2\[ \left(P\Rightarrow R\right)\Rightarrow\left[\left(P\Rightarrow Q\right)\wedge\left(Q\Rightarrow R\right)\right] \]I think it should be \[ \left[\left(P\Rightarrow Q\right)\wedge\left(Q\Rightarrow R\right)\right] \Rightarrow \left(P\Rightarrow R\right) \]

Edutopia
 2 years ago
Best ResponseYou've already chosen the best response.0^^ makes alot of sense

wio
 2 years ago
Best ResponseYou've already chosen the best response.2There is nothing wrong with using a counter example to show something is false. Trying to prove it without a counter example seems pointless to me.

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2I did not say it was true

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2Mmm I don't understand the expression after "Suppose" what those arrows mean?

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2Ok I got the counter example, is a row on my truth table and its correct. Thank you @wio

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2I was just trying to show that the expression is not a tautology.

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2The expression you wrote saying you thought it should be is, in fact, a tautology.

wio
 2 years ago
Best ResponseYou've already chosen the best response.2Imagine if I have you the proposition \(P\) and claimed it was a tautology. How would you prove it is wrong?

wio
 2 years ago
Best ResponseYou've already chosen the best response.2There is no boolean algebra to prove it, you just give a counter example, right?

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2Do you think that is not possible to find a way to show this using only theorems and definitions?

wio
 2 years ago
Best ResponseYou've already chosen the best response.2How would you show that \(P\) in and of itself is not a tautology?

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2There is no way to know. Unless you tell me that P can take the values T and F.

wio
 2 years ago
Best ResponseYou've already chosen the best response.2I mean, I have nothing against trying to do things a particular way, but what are the rules really? How would you show \(P\) is not a tautology without a counter example.

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2and then, by definition of P. P is not a tautology

wio
 2 years ago
Best ResponseYou've already chosen the best response.2So you'd say by definition of proposition, a proposition is not a tautology? Then how about \(P\wedge Q\)?

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2You meant that proposition is not a tautology.

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2As far as I know a tautology is a predicate that is always true for any value of their parameters.

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2\[P\wedge Q\] is a predicate that can be true or false. So it's not a tautology.

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2Anyway I appreciate your help.

wio
 2 years ago
Best ResponseYou've already chosen the best response.2You're claiming it can be false... The point is to get you to prove it without counterexample.

wio
 2 years ago
Best ResponseYou've already chosen the best response.2I'm just curious as to the rules of the game.

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2I think I'm not using a counter example and that is a valid proof.

Edutopia
 2 years ago
Best ResponseYou've already chosen the best response.0A tautology is a restatement within the same premiss like all trees are made of wood

wio
 2 years ago
Best ResponseYou've already chosen the best response.2What if I say "is a predicate that can be true or false.", about the original predicate? Said it about \[ \left(P\Rightarrow R\right)\Rightarrow\left[\left(P\Rightarrow Q\right)\wedge\left(Q\Rightarrow R\right)\right] \]Would simply saying that be a valid proof that it is not a tautology?

wio
 2 years ago
Best ResponseYou've already chosen the best response.2I don't think saying "is a predicate that can be true or false." is valid without a counter example.

wio
 2 years ago
Best ResponseYou've already chosen the best response.2Or maybe there is another way, but I'm not sure

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2Is not evident that that predicate can be true or false. Its not a valid proof.

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2and \[P\wedge Q\]is by definition true or false.

wio
 2 years ago
Best ResponseYou've already chosen the best response.2Sure but then what makes something 'evident'?

wio
 2 years ago
Best ResponseYou've already chosen the best response.2Is there some standard form you want it to be in?

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2I wanted to say that there is a definition by saying "evident"

wio
 2 years ago
Best ResponseYou've already chosen the best response.2What about \(P\wedge Q \wedge R\)?

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2I accepted you method buy I feel like you're trying to say that there is no other method to prove this problem.

wio
 2 years ago
Best ResponseYou've already chosen the best response.2What I am saying is that if there is another way to prove this problem, then there needs to be a way to prove very simple predicates.

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2let \[P\wedge Q\Leftrightarrow S \]\[S\wedge R\]

wio
 2 years ago
Best ResponseYou've already chosen the best response.2I mean prove without counter example

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2so it's not a tautology.

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2I know that, I already proved it using other method. I just wanted to know if it was possible to do it the way I'm trying.

wio
 2 years ago
Best ResponseYou've already chosen the best response.2Using your logic that \(\wedge\) doesn't give a tautology, then couldn't we say \(\neg P\vee P\) isn't a tautology?

Edutopia
 2 years ago
Best ResponseYou've already chosen the best response.0ITs a Syllogism if the expanded form is the antecedent, but because its the consequent it is not tautological

wio
 2 years ago
Best ResponseYou've already chosen the best response.2Well it's just an interesting thing to think about. I would like to find a way to prove false without counterexample but it seems hard to understand what is allowed.

Edutopia
 2 years ago
Best ResponseYou've already chosen the best response.0q's relation to p and r

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2This is not a tautology:\[P\wedge Q\], not just the \[\wedge \] symbol.

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2Sorry I did not understand that @Edutopia

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2I'm just beginning with this logic things lol.

Edutopia
 2 years ago
Best ResponseYou've already chosen the best response.0my comp is sllooow, i ment to say: q's relation to p and r would have to be in the premiss for it to be tautological

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2ahh that is right Edutopia.

wio
 2 years ago
Best ResponseYou've already chosen the best response.2You know what's interesting about proving something is true, is that you are showing it is true for all cases. If you are proving something is false, you only need to show one case is false. To prove that it is false for all cases can't always be done and doesn't need to be done. I think to even say \(P\) is not a tautology, you are implicitly calling upon the counter example just to claim "\(P\) can be false".

wio
 2 years ago
Best ResponseYou've already chosen the best response.2But maybe that is a semantic argument? It's just my thought.

Edutopia
 2 years ago
Best ResponseYou've already chosen the best response.0in IF (IF P THEN R) THEN BOTH (IF P THEN Q) AND ( IF Q THEN R) the relation of Q to P and R is not established, imagine the argument where P and R have to do with Physics and Q is someones opinion on abortion.

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2Yeah it's interesting @wio and I agree your counterexamples are a good tool. I just think they are not elegant.

wio
 2 years ago
Best ResponseYou've already chosen the best response.2When I first saw \[ \left(P\Rightarrow R\right)\Rightarrow\left[\left(P\Rightarrow Q\right)\wedge\left(Q\Rightarrow R\right)\right] \]The \(Q\) made me think it's likely not a tautology right away. Since it wasn't something inconsequential like \(Q\vee \neg Q\).

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2I'm not sure, but I think it's valid in math.If\[x=y\]then\[x+a=y+a\]

wio
 2 years ago
Best ResponseYou've already chosen the best response.2That is the addition property of equality. \(Q\) was not being appended to both sides of the implication.

Edutopia
 2 years ago
Best ResponseYou've already chosen the best response.0yes, but in math its all a valid argument because you are using numbers

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2I know it just look similar. Thank you guys. It is nice to be able to discuss this kind of things with other people. Thank you for you r time.

brinethery
 2 years ago
Best ResponseYou've already chosen the best response.0@Nodata I have no idea :). I'm so stupid.

brinethery
 2 years ago
Best ResponseYou've already chosen the best response.0Is this for linear algebra?

Nodata
 2 years ago
Best ResponseYou've already chosen the best response.2It is propositional logic. You're not stupid at all @brinethery. I was curious about how databases work so I picked a book about math applied to databases and this is a problem from the first chapter. Logic and Set Theory are the foundation of DB systems.
Ask your own question
Ask a QuestionFind 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.