Exercise 7

Consider the statement “there exists a real number $y$ such that $xy=1$ for all non-zero real numbers $x$”.

1. Write down two predicates $P(x)$ and $Q(x)$ in symbols such that the above statement is “$\forall x,(P(x)\implies Q(x))$”.

2. Negate the above statement, writing your answer in symbolic notation.