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$, …".
 
The standard _A " operator" maps a Null Hypothesis Ho into a decision set { Do not reject:=1 and reject :=0}. In this sense ( HA)_A , makes no sense. Since H0, HA aren't exhaustive, can we find an alternative operator, _A' , so that ( H_A)_A' makes sense? Isn't Pearson Neyman related to this? Hope I'm making sense. Edit: I was motivated by a superficial similarity of the idea with double transposition of matrices M, with ## (M^{T})^{T}=M##, and just wanted to see if it made sense to talk...

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
873
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 29 ·
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
2K
  • · Replies 5 ·
Replies
5
Views
1K