Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.)
(A ∨ B) ⊃ C
C ⊃ ~D / D ⊃ A
(A)Valid (B)Invalid. Counterexample when B, C, and D are true and A is false (C)Invalid. Counterexample when B and D are true and A and C are false (D)Invalid. Counterexample when A, B, and C are false and D is true
D