Multiple Choice
determine whether the given argument is valid or invalid. If it is invalid, select a counterexample.
-1. (?x) (Ax ? Bx) ? (?x) Cx
2) (?x) (Ax • ?Bx)
3) (?x) (Dx ? Bx) / (?x) (Dx ? Cx)
A) Valid
B) Invalid. Counterexample in a domain of 2 members, in which:
C) Invalid. Counterexample in a domain of 2 members, in which:
D) Invalid. Counterexample in a domain of 2 members, in which:
E) Invalid. Counterexample in a domain of 2 members, in which:
Aa: True Ba: False Ca: False Da: False Ab: True Bb: False Cb: False Db: True
Correct Answer:

Verified
Correct Answer:
Verified
Q90: 1. (∃x)(Gx • ∼Hx) ≡ (∃x)(Hx •
Q91: 1. ∼(∃x)[Fx • (Gx • Hx)]<br>2.
Q92: select the best translation into predicate
Q93: select the best translation into predicate
Q94: refer to the following formula: (∃x)[Mx
Q96: refer to the following formula: (∀x)[(Ex
Q97: derive the conclusions of each of
Q98: refer to the following formula: (∃x)[(Ax
Q99: Translate each sentence into predicate logic, using
Q100: determine whether the given formula is