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

Question about if and then statements. IE implication statements.

  • Thread starter kramer733
  • Start date
324
0
Question about "if and then" statements. IE implication statements.

1. Homework Statement

When something is for example asking for:

if |x-3|<δ, prove that |x+3| <δ + k (where k is a constant)

are they supposing it's true? Like are they giving you a hypothesis? How do implication statements work?

2. Homework Equations



3. The Attempt at a Solution

I say yes that the "if" is the hypothesis. Then the "then" is what we are trying to prove right?
 
21,992
3,272
Re: Question about "if and then" statements. IE implication statements.

I say yes that the "if" is the hypothesis. Then the "then" is what we are trying to prove right?
Right!
 
324
0
Re: Question about "if and then" statements. IE implication statements.

Thanks for the verification. Now here's another question that i'm confused about.

The question states the following:

Let f(x) = 1/(x?2) and c = 3.
If x>2, prove that |f(x) - f(3)| <|x^2 - 9|/36.
if |x-3|<δ, prove that |x+3| <δ + k (where k is a constant, which you must determine).
if δ ≤ 1 and |x - 3| < δ, use these results to find M, such that |f(x) - f(3)| < M*δ


Now for the 3rd "if" statement, that means i'm allowed to use the previous statements i've proved to prove this one right? So i'm not working in a "vacuum". Is that correct?
 
21,992
3,272
Re: Question about "if and then" statements. IE implication statements.

Thanks for the verification. Now here's another question that i'm confused about.

The question states the following:

Let f(x) = 1/(x?2) and c = 3.
If x>2, prove that |f(x) - f(3)| <|x^2 - 9|/36.
if |x-3|<δ, prove that |x+3| <δ + k (where k is a constant, which you must determine).
if δ ≤ 1 and |x - 3| < δ, use these results to find M, such that |f(x) - f(3)| < M*δ


Now for the 3rd "if" statement, that means i'm allowed to use the previous statements i've proved to prove this one right? So i'm not working in a "vacuum". Is that correct?
Correct!! Once you proved the two other if-statements, then you are allowed to use them.
 
82
0
Re: Question about "if and then" statements. IE implication statements.

Even though it seems like this is already solved...

If you have a statement, say, A, and another statement, say, B, and if the logic is such that, "If A, then B," we assume A is true. Of course, if you are given a problem that requires you to prove that this logical statement is true, you can use your assumption of the truth of A to prove that B is a consequence of A. In general, an "If... then..." statement is symbolized,

[itex]A \Rightarrow B[/itex]

for some statements A, B. Again, this means that if A is true, then B is so/is true/is a result/is a consequence of A. Also, different symbols are wildly used, I think, for this same statement, such as →. And, on an extended note, I would suggest looking up "logic" on the internet or something, as its interesting! For example, you will likely encounter many more logical statements in mathematics, and find that taking the 'opposite' of statements you want to show can help to actually prove them.
 

Related Threads for: Question about if and then statements. IE implication statements.

  • Posted
Replies
6
Views
653
  • Posted
Replies
9
Views
535
Replies
5
Views
6K
Replies
12
Views
4K
Replies
13
Views
3K
Replies
2
Views
693
Replies
8
Views
516

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top