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
Asked
Active
Viewed 52 times
1
-
Hi, welcome. I take it that the task is to translate the sentence from English to logic? – Matthew Leingang Sep 04 '18 at 15:46
-
@MatthewLeingang yes. sorry for not clarifying – Pablo Esco Sep 04 '18 at 15:48
-
What you've written is correct – MRobinson Sep 04 '18 at 15:55