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 ) \vee r ] \rightarrow [ \sim r \wedge ( p \wedge q ) ]$$
A) Tautology
B) Self-contradiction
C) Implication
D) None of these

Question

Quizplus · Accepted Answer

The Answer of 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 ) \vee r ] \rightarrow [ \sim r \wedge ( p \wedge q ) ]$$
A) Tautology
B) Self-contradiction
C) Implication
D) None of these

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