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 two is three.
A) g(a)=b,c
B) g(a,c)=b
C) g(b,c)=a
D) g(a,b)=g(a,c)
E) g(a,b)=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 two is three.
A) g(a)=b,c
B) g(a,c)=b
C) g(b,c)=a
D) g(a,b)=g(a,c)
E) g(a,b)=c

Quizplus · Accepted Answer

The statement can be translated as: 
"g(one, two) = three"
Using the translation key, this becomes: 
"g(a,b) = c"
Therefore, choice E is the best translation.

Select the Best Translation into Predicate Logic, Using the Following