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

Question

我在作业中遇到了很大的证据。我必须使用自然演绎来证明某些东西，我想如果我能以某种方式证明这一点，那么我就可以完成全部证明。有人可以帮忙吗？

P v Q，¬P：Q

我必须从第一原则开始，但我不能使用DM的定律。

我可以使用以下规则：

暗示介绍，暗示elim，连词介绍，连词elim，分离介绍，脱离elim，（双）否定消除，否定介绍（使用Reductio Ad Absurdum）

Answer 1

是的，问题可能是偏离主题的，但找到解决方案here（使用的规则在派生的右栏中）。它是关于自然演绎的this教程的一部分。您可以检查那里的规则名称的符号和缩写，它使用Fitch style derivations而不是例如$slice in aggregation。树符号，但应该很容易阅读。