Let $(K_n)$ be a sequence of sets.
What is the negation of the following statement?
For all $U$ open containing $x$, $U \cap K_n \neq \emptyset$ for all but finitely many $n$.
Let $(K_n)$ be a sequence of sets.
What is the negation of the following statement?
For all $U$ open containing $x$, $U \cap K_n \neq \emptyset$ for all but finitely many $n$.
Let us write the statement formally: $\forall U(x\in U\rightarrow\exists n\forall k(k>n\rightarrow U\cap K_k\neq\varnothing))$ For every $U$ (open of course), if $x\in U$ then there is some $n$ that for all $k>n$ we have $K_k\cap U\neq\varnothing$.
Now negation flips quantifiers and $\lnot(\alpha\rightarrow\beta)$ is the same as $\lnot\beta\land\alpha$. So we have:
$\exists U(x\in U\land\forall n\exists k(k>n\land U\cap K_k=\varnothing))$ Or in words, there exists an open set $U$ such that $x\in U$ but for every $n$ there is some $k>n$ such that $U\cap K_k=\varnothing$. However in the natural numbers to say that something happens unboundedly often is the same as saying it happens infinitely often. So finally we can say:
There exists an open set $U$ such that $x\in U$ and for infinitely many $n$ we have $U\cap K_n=\varnothing$.
Exists an open set containing $x$ such that $U\cap K_n$ is empty for infinitely many $n$.
$\neg$(for all $U$ open containing $x$, $U \cap K_n \ne \emptyset$ for all but finitely many $n$).