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.

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) ⊃ (∃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.

Quizplus · Accepted Answer

The statement is a universal quantification (∀x) of the conditional statement [(Nx • Ox) ⊃ (∃y)[(Ey • Ny) • Gyx)], which can be translated as "If x is an odd number, then there exists an even number y such that y is greater than x." Therefore, option A is the best interpretation of the given statement.

Select the Best English Interpretation of the Given Statements of Predicate