Multiple Choice
consider the following domain, assignment of objects in the domain, and assignments sets to predicates.
Domain = {1, 2, 3, ..., 28, 29, 30}
N = {1, 2, 3, ..., 28, 29, 30}
E = {2, 4, 6, ..., 28, 30}
O = {1, 3, 5, ..., 27, 29}
P = (2, 3, 5, 7, 11, 13, 17, 19, 23, 29}
a = 1
b = 2
c = 28
-Given the customary truth tables, which of the following theories is modeled by the above interpretation?
A) (∃x) [Nx • (Ox • Px) ] (∃x) [Nx • (Ox • ∼Px) ] (∀x) [Nx ⊃ (Ox • Ex) ]
B) (∃x) [Nx • (Ox • Px) ] (∃x) [Nx • (Ox • ∼Px) ] (∀x) [Nx ⊃ (Ox Ex) ]
C) (∀x) [Nx ⊃ (Ox Px) ] (∃x) [Nx • (∼Ox • ∼Px) ] (∀x) [Nx ⊃ (Ox Ex) ]
D) (∀x) [Nx • (Ox Px) ] (∃x) [Nx • (∼Ox • ∼Px) ] (∀x) [Nx ⊃ (Ox Ex) ]
E) (∃x) [Nx • (Ox • Px) ] (∀x) [Nx ⊃ (Ox • ∼Px) ] (∀x) [Nx ⊃ (Ox Ex) ]
Correct Answer:

Verified
Correct Answer:
Verified
Q79: For each of the following sentences, select
Q80: provide a conterexample in a finite domain
Q81: For each of the following sentences,
Q82: select the best translation into predicate
Q83: construct theories for which the following interpretation
Q85: determine whether the given argument is valid
Q86: translate the given paragraphs into arguments written
Q87: refer to the following formula: ∼(∀x){(Ix •
Q88: determine whether the given formula is
Q89: consider the following domain, assignment of