Logic 命题逻辑，不确定我是否可以在这里问这个问题

我的家庭作业中有一个很大的证据。我必须用自然推理来证明一些东西，我想如果我能以某种方式证明这一点，那么我就能完成完整的证明。有人能帮忙吗

p-v-Q，p:Q

但我必须从第一原理出发，我不能用DM定律

我可以使用以下规则：

---

蕴涵介绍，蕴涵elim，连词介绍，连词elim，析取介绍，析取elim，双重否定消除，使用反证法的否定介绍是的，这个问题可能是离题的，但找到解决方法使用的规则在推导的右栏中。这是自然演绎教程的一部分。您可以在此处查看规则名称的符号和缩写，它使用而不是树符号，但应该易于阅读。

我投票将此问题作为离题题结束，因为这是关于形式逻辑，而不是编程。可能是这个地方，但我不确定。供您将来参考：哲学SE在过去曾提出过这样的问题。