Multiple Choice
determine whether the given argument is valid or invalid. If it is invalid, select a counterexample.
-1. (∃x) (Jx • ∼Kx) ⊃ (∃x) (Lx • Mx)
2) (∃x) (Jx • Lx)
3) ∼(∃x) (Jx • Kx) / ∼(∀x) (Lx ⊃ Mx)
A) Valid
B) Invalid. Counterexample in a domain of 1 member, in which:
Ja: True Ka: False La: True Ma: True
C) Invalid. Counterexample in a domain of 1 member, in which:
Ja: False Ka: False La: True Ma: True
D) Invalid. Counterexample in a domain of 1 member, in which:
Ja: True Ka: True La: True Ma: True
E) Invalid. Counterexample in a domain of 1 member, in which:
Ja: True Ka: False La: False Ma: False
Correct Answer:

Verified
Correct Answer:
Verified
Q267: Translate each of the following sentences into
Q268: provide a conterexample in a finite domain
Q269: Some materialist empiricists are either libertarians
Q270: construct theories for which the following interpretation
Q271: derive the conclusions of each of
Q273: 1. (∀x)(Fx ⊃ ∼Gx)<br>2. (∃x)(Hx • Gx)<br>-Which
Q274: Translate each of the following sentences into
Q275: select the best translation into predicate logic.<br>-Berkeley
Q276: Translate each of the following sentences into
Q277: construct a model for each of