Math 用推理规则证明逻辑运算

前提1：

p∧ q

前提2：

q→ r

前提3:

s→ -r

前提4:r→ -u

前提5：

t∨ s

前提6：

t→ p∨ U

证明：

u∧ q

有人知道如何用推理规则来解决这个问题吗？我知道一些推理的规则，比如说波南斯/托伦斯，但我不知道如何在这里使用它们。我仍然开始学习这些类型的证明

---

有人能告诉我怎么完成吗？谢谢。

因为

p∧ Q→ p
和
p∧ Q→ q
，根据前提1，
p
和
q
均为真

根据前提2，我们现在知道
r
是真的

根据前提3，
r→ 因此，
s
为假

然后，根据前提5，
t
必须为真

现在，根据前提6，
，p∨ u
是真的，但既然
p
是真的，那么必须是
u
才是真的

最后，
q
和
u
都是真的，
u也是真的∧ q

（还要注意，前提4是不需要的）
你可以随时设置真值表，但我怀疑你在寻找正式的数学证明。正确，蒂姆。否则我会的。你可以使用几种不同的推理规则，包括希尔伯特推理或自然推理。你的公理是什么？谢谢老兄！这正是我想要的。我能找出规律，做一个很好的证明！