MHB Why is my negation of a math statement incorrect?

  • Thread starter Thread starter tmt1
  • Start date Start date
AI Thread 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$, …".
 

Similar threads

Back
Top