Determine whether the statement is a self-contradiction, an implication, a tautology (that is not also an implication), or none of these.
-$$( p \vee q ) \wedge \sim q$$
A) Tautology
B) Self-contradiction
C) Implication
D) None of these

Question

Quizplus · Accepted Answer

The statement $( p \vee q ) \wedge \sim q$ is not always true (tautology) or always false (self-contradiction). It is also not an implication. It is true when $p$ is true and $q$ is false, so it is "none of these."

Determine Whether the Statement Is a Self-Contradiction, an Implication, a Tautology