TITLE: Help with logical symbols question
QUESTION [1 upvotes]: I had a homework question which I wasn't really able to do.
The question is 
A function $f : \mathbb{R} \rightarrow \mathbb{R}$ is said to be increasing on $\mathbb{R}$ if it satisfies the following property:
If $x < y,$ then $f(x) < f(y).$
(a) Use logical symbols (that is, quantifiers and connectives) to write down the definition of an increasing function.
(b) Write the negation of part (a) without using the negation symbol.
So for part (a) would it be $x < y \implies f(x) < f(y)$
and (b) $x > y$ and not $f(x) > f(y)$
Not sure what the logical symbol for and not is. 
any help is appreciated.

REPLY [0 votes]: $(a):\quad \forall x\in \mathbb R,\forall y\in \mathbb R\Big( (x\lt y)\to (f(x)\lt f(y)\Big)$
$(b): \quad \lnot\Big(\forall x \in \mathbb R, \forall y\in \mathbb R\big((x\lt y)\to (f(x)\lt f(y))\big)\Big).$
which is equivalent to $(b): \quad \exists x \in \mathbb R,\exists y\in \mathbb R \Big(\lnot \big(\lnot(x\lt y) \lor (f(x)\lt f(y))\big)\Big)$
which is equivalent to $(b): \quad  \exists x \in \mathbb R, \exists y \in \mathbb R\Big((x \lt y)\land (f(x)\geq f(y))\Big)$
{"set_name": "stack_exchange", "score": 1, "question_id": 2324052}