Select the Best English Interpretation of the Given Statements of Predicate

question 253

Multiple Choice

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) ⊃ (∃y) [(Ey • Ny) • Gyx) ]}

• A) For every odd number, there is an even number greater than it.
• B) Every odd number is greater than some even number.
• C) All odd numbers are smaller than all even numbers.
• D) Any number smaller than every odd number is even.
• E) Any number greater than every odd number is even.