Select the Best Translation into Predicate Logic, Using the Following

question 135

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 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

---

Definitions:

Sight Draft

A financial document that demands immediate payment upon presentation to the drawee, often used in international trade.

Time Draft

A written order to pay a specified amount of money at a certain time in the future, often used in international trade.

Banker's Acceptance

A short-term financial instrument issued by a company that is guaranteed by a commercial bank. It is commonly used in international trade.

Commercial Draft

An instrument used in international trade where the seller instructs the buyer to pay a specified amount of money at a specified time.