命题逻辑，不知道我能不能在这里问这个

Question

我在作业中遇到了一个大证明。我必须使用自然演绎来证明某事，我认为如果我能以某种方式证明这一点，那么我可以完成完整的证明。有人可以帮忙吗？

P v Q, ¬P : Q

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

我可以使用以下规则：

蕴涵引言、蕴涵 elim、连词引言、连词 elim、析取引言、析取 elim、（双重）否定消除、否定引言（使用 Reductio Ad Absurdum）

Answer 1

是的，这个问题可能跑题了，但是找到解决方案here（使用的规则在推导的右栏中）。它是this 自然演绎教程的一部分。您可以在那里检查规则名称的符号和缩写，它使用 Fitch style derivations 而不是例如树表示法，但应该易于阅读。