select the best English interpretation of the given statements of predicate logic, using the following translation key:
t: two
Ox: x is odd
Ex: x is even
Nx: x is a number
Gxy: x is greater than y
-(∀x)[Nx ⊃ (Ox ⊃ ∼Ex)]
A) All numbers are odd if they are not even.
B) All numbers are odd or even.
C) No even number is odd.
D) No odd number is even.
E) If a number is odd it is even.

Question

select the best English interpretation of the given statements of predicate logic, using the following translation key:
t: two
Ox: x is odd 
Ex: x is even
Nx: x is a number 
Gxy: x is greater than y
-(∀x)[Nx ⊃ (Ox ⊃ ∼Ex)]
A) All numbers are odd if they are not even.
B) All numbers are odd or even.
C) No even number is odd.
D) No odd number is even.
E) If a number is odd it is even.

Quizplus · Accepted Answer

The given statement translates to "For all x, if x is a number, then if x is odd, x is not even," which directly means that no odd number is even.

Select the Best English Interpretation of the Given Statements of Predicate