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