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 • ∼Ex) • Gxt]
A) No number that is not even is greater than two.
B) Some even numbers are not greater than two.
C) Some number greater than two is not even.
D) Two is the smallest even number.
E) Two is not the smallest even number.

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 • ∼Ex) • Gxt]
A) No number that is not even is greater than two.
B) Some even numbers are not greater than two.
C) Some number greater than two is not even.
D) Two is the smallest even number.
E) Two is not the smallest even number.

Quizplus · Accepted Answer

The given statement translates to "There does not exist a number x such that x is a number, x is not even, and x is greater than two." This means no number that is odd (since it's not even) and is a number, is greater than two, which matches choice A.

Select the Best English Interpretation of the Given Statements of Predicate