Select the Best Translation into Predicate Logic, Using the Following

question 4

Multiple Choice

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
-Any number is divisible by two if, and only if, the successor of its successor is divisible by two.

• A) (∀x)[Nx ⊃ Df(f(b))c]
• B) (∀x){Nx ≡ [Dxb • Df(f(x))b]}
• C) (∀x){Nx ⊃ [Dbx ≡ Df(x)b]}
• D) (∀x){(Nx ⊃ Dxb) ≡ Df(f(x))b}
• E) (∀x){Nx ⊃ [Dxb ≡ Df(f(x))b}

---

Definitions:

SUTA

State Unemployment Tax Act - a tax that U.S. employers pay to their state to fund unemployment benefits.

FICA-OASDI

Federal Insurance Contributions Act - Old Age, Survivors, and Disability Insurance; a payroll tax that funds Social Security and Medicare.

FUTA

The Federal Unemployment Tax Act institutes a payroll levy on companies to support state employment organizations.

SUTA

State Unemployment Tax Act; a payroll tax that employers pay to fund their state's unemployment insurance.