Multiple Choice
determine whether the given argument is valid or invalid. If it is invalid, select a counterexample.
-1. (?x) (Gx ? Hx)
2) (?x) (Gx • Ix)
3) (?x) (Gx • Jx)
4) (?x) (Jx ? Hx) / (?x) (Ix • Jx)
A) Valid
B) Invalid. Counterexample in a domain of 1 member, in which:
C) Invalid. Counterexample in a domain of 1 member, in which:
D) Invalid. Counterexample in a domain of 1 member, in which:
E) Invalid. Counterexample in a domain of 1 member, in which:
Correct Answer:

Verified
Correct Answer:
Verified
Q33: 1. (∀x)(Ax ⊃ Bx)<br>2. (∃x)Ax<br>3. (∃x)Bx ⊃
Q34: provide a conterexample in a finite
Q35: Translate each sentence into predicate logic, using
Q36: 1. (∃x)(Hx • ∼Ix)<br>2. (∀x)(Hx ⊃ Jx)<br>3.
Q37: use: t: Tortuga<br>Bx: x creates bricks <br>Cx:
Q39: refer to the following formula: (∃x)[(Ax
Q40: refer to the following formula: (∀x)[(Ex
Q41: refer to the following formula: (∃x)[(Ax
Q42: use: t: Tortuga<br>Bx: x creates bricks <br>Cx:
Q43: 1. (∀x)(Jx ⊃ Kx)<br>2. (∀x)(Jx ⊃ ∼Lx)<br>-Which