Need help with
Express in quantiers:
The sequence {A n}n is element of natural numbers, is strictly decreasing
Give the negation of as well.
I am thinking for all N ,there exists x1 < x2, then f(x1) > f(x2) , kinda of lost...
There are of course several different ways one might do this.
Here is one. $\displaystyle \left( {\forall m \in \mathbb{N}} \right)\left( {\forall n \in \mathbb{N}} \right)\left( {m > n \to x_m < x_n } \right)$
The negation is, $\displaystyle \left( {\exists j \in \mathbb{N}} \right)\left( {\exists k \in \mathbb{N}} \right)\left[ {j > k \wedge x_j \geqslant x_k } \right]$