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 any number and two is equal to the sum of the successor of that number and one.
A) (∀x)[Nx ⊃ g(x,b)=g(f(x),a)]
B) (∀x)[Nx • g(x,b)]=g(f(x)a)]
C) (∀x)[Nx ⊃ g(x,b)=f(g(x),a)]
D) (∀x)[Nx ⊃ g(x,b)=fg(x)a]
E) (∀x)[Nx ⊃ g(x,b)=g(f(a),x)]

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 any number and two is equal to the sum of the successor of that number and one.
A) (∀x)[Nx ⊃ g(x,b)=g(f(x),a)]
B) (∀x)[Nx • g(x,b)]=g(f(x)a)]
C) (∀x)[Nx ⊃ g(x,b)=f(g(x),a)]
D) (∀x)[Nx ⊃ g(x,b)=fg(x)a]
E) (∀x)[Nx ⊃ g(x,b)=g(f(a),x)]

Quizplus · Accepted Answer

The statement is talking about the sum of any number and two being equal to the sum of the successor of that number and one. This can be translated to predicate logic as ∀x(Nx ⊃ g(x,b) = g(f(x),a)). This translates as "For all x, if x is a number, then the sum of x and two is equal to the sum of the successor of x and one." option A matches this translation.

Select the Best Translation into Predicate Logic, Using the Following