自然演绎证明-有用吗？

Question

我一直在练习，但是我不确定有什么方法可以检查我的作品，有人可以指出他们在此证明中是否有误？

Answer 1

我不知道您的证明中的“ subcomp”是什么，以及如何获得2。

我不会给您详细的答案，因为它看起来像是作业。

您要证明的定理是一个合取（AND），这意味着您必须证明双方：P和¬Q。

要证明P，您将必须使用约简至荒谬（从¬A可以证明⊥，然后可以证明A）或其他形式（排除中间或双重否定）。

¬Q易于证明，只需使用¬规则即可。