离散数学逻辑，什么时候证明完成？
离散数学逻辑，什么时候证明完成？
提问于 2019-12-25 13:58:30
所以我在这个问题上做的是：
- p→(1,2，假设三段论)
- p(除法证明的假设)(
- (n=3，4，modus ponens)
- (n=3-5) (3-5，再除以案例证明)。
在这一点上，在我看来，证据已经完成。我已经证明了这个结论(∨‘p)是正确的。但后来我回头看，我看到我的老师还在继续。在第6行中，他假设为“p”，然后再在第7行上写(“∨”)。现在，他结束了“证明”(8.r∨，3-7，并将证据除以案例)。为什么他不像我一样停在第6行，继续假设？我是错了还是我的证据完成了？
回答 1
Stack Overflow用户
回答已采纳
发布于 2019-12-25 14:01:12
我想我可能知道答案。当您将业务划分为案例时，您必须始终尝试证明与您假设的相反的情况也是有效的。在这种情况下，在第4行，我假设p。因此，我还必须看到如果我假设的话会发生什么。这是正确的吗？
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/59479093
复制相关文章
相似问题
腾讯云开发者
