1.

p ∧ q is logically equivalent to ________(a) ¬ (p → ¬q)(b) (p → ¬q)(c) (¬p → ¬q)(d) (¬p → q)I had been asked this question in final exam.I'd like to ask this question from Logics in portion The Foundation: Logics and Proofs of Discrete Mathematics

Answer»

The CORRECT choice is (a) ¬ (p → ¬Q)

To explain I would SAY: (p ∧ q) ↔ (¬(p → ¬q)) is TAUTOLOGY.



Discussion

No Comment Found

Related InterviewSolutions