Select the Best Translation into Predicate Logic, Using the Following

question 37

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
-The successor of a number is greater than itself.

• A) Gf(a)a
• B) Gaf(a)
• C) (∀x)[Nx ⊃ Gf(x)x]
• D) (∀x)[Nx ⊃ Gf(a)a]
• E) (∀x)[Nx ⊃ Gaf(a)]

---

Definitions:

Surplus Value

A Marxian term: the amount by which the value of a worker’s daily output exceeds the worker’s daily wage.

Capitalist

An economic system characterized by private or corporate ownership of capital goods, investments determined by private decision, and prices, production, and the distribution of goods determined mainly by competition in a free market.

One Piece Of Land

Typically refers to a specific parcel of land, often considered in contexts like ownership, real estate transactions, or land usage planning.

Land Differs

The concept that land has unique characteristics that affect its value and use, such as location, topography, and fertility, making it distinct from other factors of production.