Logic 离散数学逻辑，证明什么时候完成？

所以我在这个问题上做的是：

p→（-r）∨ p）（1,2，假设三段论）

p（分案证明的假设）

（-r）∨ （第3,4节，修改方式）

（-r）∨ §p）（3-5和分案证明）

---

在这一点上，在我看来，证明已经完成。我已经证明了结论∨ 是真的。但后来我回想起来，我发现我的老师还在继续。在第6行，他改为假设p，然后从这一点，他再次写道：∨ 第7行。现在他总结了证据（8.r.）∨ 第3-7页，并通过分案证明）。为什么他没有像我一样停在6号线，而是继续假设p？我是错了还是我的证明是完整的？

我想我可能知道答案。在处理案例时，您必须始终尝试证明与您假设相反的方法也有效。在本例中，在第4行，我假设p。因此，如果我假设-p，我也必须看看会发生什么。这正确吗？

正确。幸运的是，在您的情况下，假设“不是p”立即给出您的结果“不是r或不是p”。