Math （p&x2227；q）&x2227；（p⇒；¬；q）证明矛盾？

所以在这之后我已经走到了死胡同，在这之后我试着去做德摩根法则，但在那之后我面临着死胡同。 我试过这个

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

让p∧ q=X，那么

---

（p∧ q）∧ （p∧ q） 可以写成X∧ 实际上，你的第二个表达式已经是你所需要的形式了：它声明，

A∧ 一个

，定义上是矛盾的。

（p∧ q）∧ （-p）∨ q）

通过它成为：

（p∧ q）∧ -（p∧ q） 

因此有一个矛盾：

（p∧ q） 而不是（p∧ q） 

例如：

p=“我去海滩了”

q=“我踢足球”

逻辑说明如下：

我去海滩踢足球，我没有去海滩也没有踢足球

---

这是一个矛盾。

我投票将这个问题作为离题题来结束，因为这不是关于编程的，而是关于数学的。结束话题。应该在math.stackexchange.Composible的副本上，不要再次发布问题。改为发帖子，或者让主持人帮你把它移走。我投票决定把这个问题作为离题题来结束，因为它不是关于编程或软件开发的。你可以列出否决投票的原因，而不是盲目否决投票。我同意这应该转移到math.stackexchange.com哦，对不起，我认为这是错误的，我试图选择它作为正确的答案。那么，请撤销你的否决票。