Exercise 17.
Simplify the statements below to the point that negation symbols occur only directly next to predicates.
\(\neg \forall x \forall y (x \lt y \vee y \lt x)\text{.}\)
\(\neg(\exists x P(x) \imp \forall y P(y))\text{.}\)
Simplify the statements below to the point that negation symbols occur only directly next to predicates.
\(\neg \forall x \forall y (x \lt y \vee y \lt x)\text{.}\)
\(\neg(\exists x P(x) \imp \forall y P(y))\text{.}\)