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