Construct a complete truth table for each of the following arguments. Then, using the truth table, determine whether the argument is valid or invalid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.)
-∼J ⊃ K
∼K $ \lor $ (J • K)
∼K ⊃ K / ∼J
A) Valid
B) Invalid. Counterexample when J and K are true
C) Invalid. Counterexample when J is true and K is false
D) Invalid. Counterexample when J is false and K is true
E) Invalid. Counterexample when J and K are false

Question

Quizplus · Accepted Answer

The argument is invalid because there is a counterexample when both J and K are true. In this case, the premises can be true while the conclusion is false, which violates the definition of a valid argument.

Construct a Complete Truth Table for Each of the Following ∨ \lor ∨

Construct a Complete Truth Table for Each of the Following $\lor$