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 sum of one and the successor of one is divisible by three.
A) Dg(a,g(a))c
B) Dg(a,f(b))c
C) Daf(a)c
D) Dg(a,f(a))c
E) g(a,f(a))=c

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 sum of one and the successor of one is divisible by three.
A) Dg(a,g(a))c
B) Dg(a,f(b))c
C) Daf(a)c
D) Dg(a,f(a))c
E) g(a,f(a))=c

Quizplus · Accepted Answer

The correct translation is "Dg(a,f(a))c" which means "the sum of one and the successor of one is divisible by three." This is because "g(a,f(a))" translates to "the sum of one and the successor of one," and "D...c" translates to "is divisible by three."

Select the Best Translation into Predicate Logic, Using the Following