- #1

- 2

- 0

show that :

~p ^ (~q ^ r) v (q ^ r) v (p ^ r) ≡ r

when i made the truth table of course they were equivalent..

but i don't know what i'm doing wrong ! the end is always T "true" when i try to prove it logically...

Please help !

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter Nuha22
- Start date

- #1

- 2

- 0

show that :

~p ^ (~q ^ r) v (q ^ r) v (p ^ r) ≡ r

when i made the truth table of course they were equivalent..

but i don't know what i'm doing wrong ! the end is always T "true" when i try to prove it logically...

Please help !

- #2

Mark44

Mentor

- 34,884

- 6,621

show that :

~p ^ (~q ^ r) v (q ^ r) v (p ^ r) ≡ r

when i made the truth table of course they were equivalent..

but i don't know what i'm doing wrong ! the end is always T "true" when i try to prove it logically...

There's a lot of simplification that you can do. For example, how can you rewrite (~q ^ r) v (q ^ r)?

- #3

- 237

- 5

What exactly do you mean by

show that :

~p ^ (~q ^ r) v (q ^ r) v (p ^ r) ≡ r

when i made the truth table of course they were equivalent..

but i don't know what i'm doing wrong ! the end is always T "true" when i try to prove it logically...

Please help !

Do you mean that the LHS becomes True once you've simplified it? If so, show us step by step how you got to that and someone will spot the error in your working.

- #4

- 22,089

- 3,296

What exactly do you mean by'the end is always T "true" when i try to prove it logically...'?

Do you mean that the LHS becomes True once you've simplified it? If so, show us step by step how you got to that and someone will spot the error in your working.

Indeed. Please post your work or this thread will be deleted.

- #5

- 2

- 0

Thank you all , but i have solved it ^^

~p ^ (~q ^ r) v (q ^ r) v (p ^ r) ≡ r

1- rearrange it:

[~p ^ (p ^ r) ] v (~q ^ r) v (q ^ r) ≡ r

[ (~p ^ p) ^ (~p ^ r) ] v (~q ^ r) v (q ^ r) ≡ r

[F ^ (~p ^ r) ] v (~q ^ r) v (q ^ r) ≡ r

F v (~q ^ r) v (q ^ r) ≡ r

(~q ^ r) v (q ^ r) ≡ r

[ (~q ^ r) v q) ] ^ [ (~q ^ r) v r) ] ≡ r

(~q v q ) ^ ( r v q ) ^ ( ~q v r ) ^ ( r v r ) ≡ r

Put braces :

(~q v q ) ^ [ ( r v q ) ^ ( ~q v r ) ] ^ ( r v r ) ≡ r

* [ ( r v q ) ^ ( ~q v r ) ] ==> r v (q ^ ~q)

* ( r v r ) => r

T ^ [ r v (q ^ ~q) ] ^ r ≡ r

* (q ^ ~q) => F

T ^ r ^ r ≡ r

*( r ^ r) => r

T ^ r ≡ r

^^

Al7amdulillah <3

- #6

- 237

- 5

I think you got lucky!Thank you all , but i have solved it ^^

The first line in your "rearrangement" seems invalid to me but almost trivially causes your LHS to be equivalent to r.1- rearrange it:

[~p ^ (p ^ r) ] v (~q ^ r) v (q ^ r) ≡ r

The original LHS is:

~p ^ (~q ^ r) v (q ^ r) v (p ^ r)

and your rearrangement is:

[~p ^ (p ^ r)] v (~q ^ r) v (q ^ r)

As (q ^ r) is common to both of these expressions, you are effectively saying that:

~p ^ (~q ^ r) v (p ^ r) ≡ [~p ^ (p ^ r)] v (~q ^ r)

which is NOT the case.

I'm actually having a hard time trying to object to your reasoning as each step is logically correct and equivalent to the previous one; it's just your initial rearrangement where I can't understand how you got to it!

It looks like you saw A ^ B v C v D and thought you could rearrange it to be [A ^ D] v B v C, which in general is not true.

(I may be making a complete fool of myself here if I've missed something obvious!)

The original LHS can actually be simplified to r in about 3 steps as Mark was hinting at earlier.

- #7

HallsofIvy

Science Advisor

Homework Helper

- 41,833

- 963

- #8

- 237

- 5

Maybe I'm being stupid, but this post makes no sense to me.

r isn't necessarily true or false. It's not a question of finding whether r is true or false; it's about proving that the LHS is equivalent to r.

- #9

- #10

- 785

- 15

Anyone?

A pity , you fail to fathom still after such excellent hints. Do you know what <=> in Proposition means ? If I say , that p<=>q , then p<=>q = (p=>q)^(q=>p) = (~p+q)^(~q+p).

Use this theorem in your question and prove !! Well truth is easiest method , but if you are not satisfied then use conditional elimination , as I stated. Lets see what you get.

Do you know about tautology , contrapositive , converse , etc.. in propositional logic ?

- #11

vela

Staff Emeritus

Science Advisor

Homework Helper

Education Advisor

- 14,995

- 1,570

You're right. Nuha22's solution is wrong for the reason you noted.It looks like you saw A ^ B v C v D and thought you could rearrange it to be [A ^ D] v B v C, which in general is not true.

(I may be making a complete fool of myself here if I've missed something obvious!)

- #12

- 237

- 5

I think you may be confusing me with the OP (A pity , you fail to fathom still after such excellent hints.

Thanks.You're right. Nuha22's solution is wrong for the reason you noted.

But I'm still not sure what Ivy was getting at...

- #13

- 785

- 15

I think you may be confusing me with the OP (Nuha22), who hasn't responded for over a week, possibly still believing that he's "solved" it.

Thanks.

But I'm still not sure what Ivy was getting at...

Yeah !! I mistaken you for OP , who was Nuha22 !! Silly me !! I apologize for that though.

And yes , you're right. Ivy's hint was slightly confusing and little hard to fathom. But he was right. And that's what I stated , in my previous post. Ivy was using "conditional elimination." If you prove the statement to be a tautology , not a contradiction , then indeed , the inference from the premises is derived.

- #14

- 237

- 5

I'm quite happy to be corrected, but I think Ivy is female.Yeah !! I mistaken you for OP , who was Nuha22 !! Silly me !! I apologize for that though.

And yes , you're right. Ivy's hint was slightly confusing and little hard to fathom. But he was right. And that's what I stated , in my previous post. Ivy was using "conditional elimination." If you prove the statement to be a tautology , not a contradiction , then indeed , the inference from the premises is derived.

I still don't understand what she or you mean. I don't mean to be any mathematical genius.

I'm sure I can solve the OP's problem, but Ivy's reasoning is a bit confusing to me.

Share:

- Replies
- 1

- Views
- 2K