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

Verified
Correct Answer:
Verified
Q111: determine whether the given argument is
Q112: For each of the following sentences,
Q113: select the best translation into predicate
Q114: use the given interpretations to translate each
Q115: refer to the following formula: (∃x)[Mx
Q117: 1. (∀x)[Ax ⊃ (Bx ⊃ Cx)]<br>2. ∼(∀x)(Bx
Q118: determine whether the given argument is valid
Q119: derive the conclusions of each of
Q120: Translate each of the following sentences into
Q121: select the best translation into predicate