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

Question

我在作业中被一个很大的证明卡住了。我必须用自然演绎来证明某件事，而且我认为如果我能以某种方式证明这一点，那么我就可以完成完整的证明。谁能帮忙？

P v Q，¬P：Q

我必须从第一的原则去做，虽然，我不能使用DM的法律。

我可以使用下面的规则：

含义前奏，蕴涵琳，结合介绍，琳结合，析取介绍，析取琳，（双）否定消除，否定引入（使用归谬法）

Answer 1

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