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.)
H ≡ (~I ∨ J)
H ∨ ~J / ~I
(A)Valid (B)Invalid. Counterexample when H, I, and J are false (C)Invalid. Counterexample when H and I are true and J is false (D)Invalid. Counterexample when I is true and H and J are false
D