- #1

strifex

- 4

- 0

∀x∈ℤ,∃y∈ℤ,(E(x)∧E(y)) → x = 2y

The original phrase is:

Any even integer is equal to twice some other event integer.

Which I translated to:

For all x in integers, and some y in integers, if x is even and y is even, then x is 2 times y.

Am I on the even on the right track? Any help would great.