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
Correct Answer:

Verified
Correct Answer:
Verified
Q130: determine whether the given argument is valid
Q131: derive the conclusions of each of the
Q132: select the best English interpretation of the
Q133: 1. (?x)(?y)(Bxy ? Dyx)<br>2. (?x)Bxf(x) / (?x)Df(x)x
Q134: select the best translation into predicate logic,
Q136: 1. Fab • (∀x)(Fax ⊃ x=b)<br>2. ∼Fac<br>-Which
Q137: 1. (∀x)(∀y)(Bxy ≡ Dyx)<br>2. (∃x)Bxf(x)<br>-Which of the
Q138: provide a conterexample in a finite domain
Q139: (∀x)[Px ⊃ (∃y)Rxy] ⊃ [(∀x)(∀y)∼Rxy ⊃ ∼(∃x)Px]<br>-Consider
Q140: construct theories for which the following interpretation