• Support PF! Buy your school textbooks, materials and every day products Here!

Bridge to abstract math: what is wrong with following proof

  • Thread starter Aziza
  • Start date
  • #1
190
1
See attached picture.

The question asks to prove that the statement which I have written on the first line is true. But I somehow proceeded to proving it is false. Basically what I did was simplify the given expression into the form (P or Q) => R and said this is equivalent to (P=>R) ^ (Q=>R). Then just looking at P=>R I arrived at a contradiction, so because F^T if F, the entire initial proposition is false. Where am I going wrong..?
 

Attachments

Answers and Replies

  • #2
18
0
Interesting... [itex](P \lor Q) \rightarrow R[/itex]
What is the truth table for this? That is one way of showing it. Namely, what is the value of R for various values of P and Q.

Similarly, what are those values in the case of [itex](P \rightarrow R) \wedge (Q \rightarrow R)[/itex]

Hint: Wolfram Alpha is amazing for checking your truth tables...
 
  • #3
190
1
Interesting... [itex](P \lor Q) \rightarrow R[/itex]
What is the truth table for this? That is one way of showing it. Namely, what is the value of R for various values of P and Q.

Similarly, what are those values in the case of [itex](P \rightarrow R) \wedge (Q \rightarrow R)[/itex]

Hint: Wolfram Alpha is amazing for checking your truth tables...
No thats not my question...I know that this part of my proof is right. It is page 35 of my book lol. My question is that something else must be wrong with my proof
 
  • #4
6,054
390
Your result is correct. The statement you are trying to prove is obviously false for x = 3. I should also add that it does not seem to make much sense in the first place: it starts for "all x", but there are exactly two values of x for which it could possibly be non-trivial. Are you sure you wrote it down properly?
 
  • #5
HallsofIvy
Science Advisor
Homework Helper
41,772
911
It is very hard to read what you have written- it surely would have been less trouble just to type the problem here! It appears to ask you to prove "if x^2= 12- x then either x= -1 or (x+ 3)/(x+1) is greater than or equal to 12".

The only thing wrong is just what you say- this is NOT true. If x^2= 12- x then x is either 3 or -4. Neither of those is -1 so the "x= -1" part is false. If x= 3 then (x+3)/(x+ 1) is (3+3)(3+ 1)= 6/4= 3/2 which is NOT "greater than or equal to 12". If x= -4 then (x+ 3)/(x+ 1) is (-4+ 3)/(-4+1)= -1/(-3)= 1/3 which also is OT "greater than or equal to 12".

Check to see if you haven't copied the problem incorrectly.
 
  • #6
190
1
the professor wrote it wrong i found out today, but thanks anyways!!
 

Related Threads for: Bridge to abstract math: what is wrong with following proof

  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
3
Views
974
  • Last Post
Replies
19
Views
1K
  • Last Post
Replies
6
Views
3K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
10
Views
4K
Top