Using the truth table, show that the following proposition is a contradiction.
negation of [((p → negation of q) ∧ q) → negation of p]
2 answers
so, did you build the truth table? What did you get?
(p^q)^~q is contradiction
1 answer