MHB Why is my negation of a math statement incorrect?

  • Thread starter Thread starter tmt1
  • Start date Start date
Click For Summary
The discussion centers on the confusion surrounding the negation of a mathematical statement involving quantifiers. The original statement asserts that for every real number C, there is no positive integer N such that if k exceeds n, then x_k is greater than C. The incorrect negation presented is that there exists a C and a positive integer N such that if k exceeds n, then x_k is less than or equal to C. The correct negation, however, states that there exists a C and a positive integer N such that if k exceeds n, then x_k is greater than C. Additionally, participants express concerns about the clarity of the original statement and the relationship between the variables N, n, and k.
tmt1
Messages
230
Reaction score
0
I'm trying to get the negation of this statement:

$\forall C \in \Bbb{R}$ , there is no positive integer $N $ such that if $ k > n$, then $ {x}_{k} > C$I get $\exists C \in R$ such that, $\exists $ a positive integer $N$ , such that if $k > n$ then ${x}_{k} \le C$

but apparently the correct answer is

$\exists C \in R$, $\exists $ a positive integer $N$ , such that if $k > n$ then ${x}_{k} > C$

I can't figure out why
 
Physics news on Phys.org
The negation of $\forall C\,\neg A$ is $\exists C\,A$, so the part of the statement after "there is no positive integer $N$" is unchanged.

By the way, the original statement is not stated clearly enough.

tmt said:
$\forall C \in \Bbb{R}$ , there is no positive integer $N $ such that if $ k > n$, then $ {x}_{k} > C$
Are $N$ and $n$ the same? Is $k$ some fixed parameter or is it introduced by another quantifier that is omitted?
 
Evgeny.Makarov said:
The negation of $\forall C\,\neg A$ is $\exists C\,A$, so the part of the statement after "there is no positive integer $N$" is unchanged.

By the way, the original statement is not stated clearly enough.

Are $N$ and $n$ the same? Is $k$ some fixed parameter or is it introduced by another quantifier that is omitted?

I guess my professor is trying to confuse us ...
 
Presumably, it means, "… integer $N$ such that for all $k$, if $k>N$, …".
 
There is a nice little variation of the problem. The host says, after you have chosen the door, that you can change your guess, but to sweeten the deal, he says you can choose the two other doors, if you wish. This proposition is a no brainer, however before you are quick enough to accept it, the host opens one of the two doors and it is empty. In this version you really want to change your pick, but at the same time ask yourself is the host impartial and does that change anything. The host...

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
748
  • · Replies 3 ·
Replies
3
Views
5K
Replies
29
Views
4K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 5 ·
Replies
5
Views
1K