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

Question

我的家庭作业中有一个很大的证明。我必须使用自然演绎来证明一些东西，我认为如果我能以某种方式证明这一点，那么我就可以完成完整的证明。有人能帮上忙吗？

P v Q，P:Q

我必须从基本原理出发，但我不能使用DM定律。

我可以使用以下规则：

蕴涵引子，蕴含引子，连词引子，合取引子，析取引子，析取引子，(双重)否定消除法，否定引言(使用Reductio Ad Absurdum)

Answer 1

是的，这个问题可能是离题的，但是找到解决方案here (使用的规则在派生的右栏中)。这是this自然演绎教程的一部分。你可以在那里检查规则名称的符号和缩写，它使用Fitch style derivations而不是树符号，但仍然应该很容易阅读。