Discrete Math - Translating from English to Logic

54 Views Asked by At

Use E(x) for “x is even” and O(x) for “x is odd.”

Question: One more than any odd number is an even number.

Answer: ∀x [O(x) ⇒ E(x+1)]

Could anyone verify my answer please? Thank you