Question 1

construct theories for which the following interpretation is a model (i.e. construct at least two sentences which are true under the given interpretation).
Domain = {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 d = 19
b = 2 e = 23
c = 3 f = 29
-Construct a theory of at least three sentences which uses all three predicates and at least three different constants.

Accepted Answer

The answer of construct theories for which the following interpretation...

Question 2

provide a conterexample in a finite domain to each given invalid argument.
-1. (∀x)(Hx ⊃ ∼Ix)
2. (∀x)(Ix ⊃ Ux) / (∀x)(Hx ⊃ ∼Ux)

Accepted Answer