select the best translation into predicate logic, using the following translation key:
a: one
b: two
c: three
f(x): the successor of x
g(x,y): the sum of x and y
Nx: x is a number
Dxy: x is divisible by y
Gxy: x is greater than y
-The successor of a number is greater than itself.
A) Gf(a)a
B) Gaf(a)
C) (∀x)[Nx ⊃ Gf(x)x]
D) (∀x)[Nx ⊃ Gf(a)a]
E) (∀x)[Nx ⊃ Gaf(a)]

Question

select the best translation into predicate logic, using the following translation key: 
a: one
b: two 
c: three
f(x): the successor of x 
g(x,y): the sum of x and y 
Nx: x is a number
Dxy: x is divisible by y 
Gxy: x is greater than y
-The successor of a number is greater than itself.
A) Gf(a)a
B) Gaf(a)
C) (∀x)[Nx ⊃ Gf(x)x]
D) (∀x)[Nx ⊃ Gf(a)a]
E) (∀x)[Nx ⊃ Gaf(a)]

Quizplus · Accepted Answer

The sentence can be translated as "For any number x, if x is a number, then the successor of x is greater than x." This can be represented as (∀x)[Nx ⊃ Gf(x)x].

Select the Best Translation into Predicate Logic, Using the Following