Paragraph

Translate into English:

  1. \(\forall x (E(x) \imp E(x +2))\text{.}\)

  2. \(\forall x \exists y (\sin(x) = y)\text{.}\)

  3. \(\forall y \exists x (\sin(x) = y)\text{.}\)

  4. \(\forall x \forall y (x^3 = y^3 \imp x = y)\text{.}\)

in-context