Select the Best Translation into Predicate Logic, Using the Following

question 1

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
-If a number is divisible by three, then its successor is not.

• A) (∀x){Nx ⊃ [Dxc ⊃ ∼Df(x)c]}
• B) (∀x){Nx ⊃ [Dxc ⊃ Df(x)c]}
• C) (∀x){Nx ⊃ [∼Dxc ⊃ Df(x)c]}
• D) (∀x){Nx ⊃ [Dxc ⊃ Df(x)∼c]}
• E) (∀x)[Nx ⊃ Df(x)c]

---

Definitions:

Comprehensive Income

Total change in equity for a reporting period that includes all non-owner changes in equity, not just those resulting from net income.

Net Income Statement

A financial statement that shows a company's revenue and expenses over a specific period, leading to the net income or profit.

Accrual Basis

An accounting method where revenue and expenses are recorded when they are earned or incurred, regardless of when the cash transaction happens.

Revenue Recognition

The accounting principle that dictates the specific conditions under which income becomes realized as revenue.