math - (p ∧ q) ∧ (p ⇒ ¬q) 证明矛盾？

Question

因此，在此之后我已经走到了死胡同，我尝试在此之后进行德摩根规则，但在那之后又面临死胡同。我试过这个

(p ∧ q) ∧ (¬p ∨ ¬q)
(p ∧ q) ∧ ¬(p ∧ q)

标签： mathdiscrete-mathematics

Answer 1

令 p ∧ q = X，则

(p ∧ q) ∧ ¬(p ∧ q) 可以写成 X ∧ ¬ X 由补码定律矛盾。