Exercise 16.

We can also simplify statements in predicate logic using our rules for passing negations over quantifiers, and then applying propositional logical equivalence to the “inside” propositional part. Simplify the statements below (so negation appears only directly next to predicates).

  1. \(\neg \exists x \forall y (\neg O(x) \vee E(y))\text{.}\)

  2. \(\neg \forall x \neg \forall y \neg(x \lt y \wedge \exists z (x \lt z \vee y \lt z))\text{.}\)

  3. There is a number \(n\) for which no other number is either less \(n\) than or equal to \(n\text{.}\)

  4. It is false that for every number \(n\) there are two other numbers which \(n\) is between.

Solution.
in-context