作者maylaw (讨厌傲娇)
看板logic
标题Re: [请益] 矛盾
时间Sun Jan 10 22:21:59 2010
推 MathTurtle:如果是自然演译法, 其实是不能直接引入恒真句进去前提 01/10 21:38
→ MathTurtle:但你可以把恒真句给出证明, 然後以此当Lemma用, 才行 01/10 21:38
→ MathTurtle:这点很重要的原因是 5中的Rv~R在直觉逻辑的自然演译法 01/10 21:40
→ MathTurtle:中, 是个证不出来的命题 01/10 21:40
→ MathTurtle:有兴趣可以试着用自然演译法证证排中律, 不太好证 01/10 21:41
推 MathTurtle:应该说, 会需要用到RAA才能证出来
Rv~R是恒真句，不需由任何为真的东西来保证它为真，它本身就是为真，
所以我们没办法用直接证法去证明它为真，当然证不出来。
如果真要证的话，应该是用间接证法，将它的否定当成前提导出矛盾，
以证明它不能被否定，那这就很简单了。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.229.43.104