Tautology, contingent or contradiction?

Logic Level 2

According to propositional logic is the following a tautology, a contradiction or a contingent?

\[\neg (A \wedge (\neg B) ) \leftrightarrow (A \to B)\]

×

Problem Loading...

Note Loading...

Set Loading...