Multiple Choice
consider the following domain, assignment of objects in the domain, and assignments sets to predicates.
Domain = {1, 2, 3, ..., 28, 29, 30}
a = 1
e = 21
b = 2
f = 23
c = 4
g = 27
d = 20
h = 29
Ex = {2, 4, 6, ..., 28, 30}
Ox = {1, 3, 5, ..., 27, 29}
Px = (2, 3, 5, 7, 11, 13, 17, 19, 23, 29}
Sxyz = The set of all triples such that the first is the sum of the second and third
{<2, 1, 1>, <3, 1, 2>, <3, 2, 1>, <4, 1, 3>, <4, 2, 2>, <4, 3, 1>, <5, 1, 4>, ... }
-Given the customary truth tables, which of the following theories is modeled by the above interpretation?
A) Sdca • Shgb
(∃x) (∃y) Sdxy • ~(∃x) (∃y) Sgxy
B) Scbb • Seda
(∃x) (∃y) Scxy • ~(∃x) (∃y) Sbxy
C) Secb • Shga
(∃x) (∃y) Sgxy • ~(∀x) (∀y) Sfxy
D) Sfeb • Sgfc
(∃x) (∃y) Shxy • ∼(∀x) (∀y) Shxy
E) Shgb • Sfbe
(∃x) (∃y) Sgxy • ~(∃x) Sxcd
Correct Answer:

Verified
Correct Answer:
Verified
Q161: translate each sentence of predicate logic into
Q162: select the best translation into predicate logic,
Q163: 1. (∀x)[Ax ⊃ (∃y)(By • Cxy)]<br>2. (∃x)(Ax
Q164: Translate each sentence into predicate logic, using
Q165: use:<br>d: Diego <br>s: Sean<br>Dx: x is on
Q167: 1. (∀x)[(Px • Qx) ⊃ Rf(x)]<br>2. (∀x)[Rx
Q168: 1. (?x)(?y)f(x,y)=f(y,x)<br>2. (?x)f(x,o)=o / (?x)f(o,x)=o
Q169: provide a conterexample in a finite domain
Q170: use the following translation key to write
Q171: use:<br>b: Bhavin <br>c: Chloe <br>m: Megha<br>n: Nietzsche