Solved

Consider the Following Domain, Assignment of Objects in the Domain ∨ \lor

Question 84

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 ∨ \lor Ex) ]
C) (∀x) [Nx ⊃ (Ox ∨ \lor Px) ] (∃x) [Nx • (∼Ox • ∼Px) ] (∀x) [Nx ⊃ (Ox ∨ \lor Ex) ]
D) (∀x) [Nx • (Ox ∨ \lor Px) ] (∃x) [Nx • (∼Ox • ∼Px) ] (∀x) [Nx ⊃ (Ox ∨ \lor Ex) ]
E) (∃x) [Nx • (Ox • Px) ] (∀x) [Nx ⊃ (Ox • ∼Px) ] (∀x) [Nx ⊃ (Ox ∨ \lor Ex) ]

Correct Answer:

verifed

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Related Questions