Question

Build a truth table then verify if the proposition is Tautology, Contradiction, and Contingency.

(p ↔ q ) Λ ( ┐p Λ q )    

Answer 1

Solution:

Since, all rows give F, it is a Contradiction.