Why is my negation of a math statement incorrect?

  • Context: MHB 
  • Thread starter Thread starter tmt1
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the incorrect negation of the mathematical statement involving quantifiers and conditions. The original statement asserts that for all real numbers \( C \), there is no positive integer \( N \) such that if \( k > n \), then \( x_k > C \). The correct negation is that there exists a real number \( C \) and a positive integer \( N \) such that if \( k > n \), then \( x_k > C \). Participants express confusion regarding the clarity of the original statement and the roles of the variables \( N \), \( n \), and \( k \).

PREREQUISITES
  • Understanding of first-order logic and quantifiers
  • Familiarity with mathematical notation and symbols
  • Knowledge of the concepts of negation in logic
  • Basic principles of sequences and limits in mathematics
NEXT STEPS
  • Study the principles of quantifier negation in mathematical logic
  • Review the definitions and properties of sequences in real analysis
  • Explore examples of logical statements and their negations
  • Investigate the role of parameters and variables in mathematical statements
USEFUL FOR

Mathematics students, educators, and anyone interested in understanding logical statements and their negations in mathematical contexts.

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

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