※ 引述《maylaw (讨厌傲娇)》之铭言： : 推 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是恒真句，不需由任何为真的东西来保证它为真，它本身就是为真， : 所以我们没办法用直接证法去证明它为真，当然证不出来。 : 如果真要证的话，应该是用间接证法，将它的否定当成前提导出矛盾， : 以证明它不能被否定，那这就很简单了。 你这样说不太对 直觉主义认为排中律并不成立 对於他们来说 (φvψ)指的是 "φ可以建构出一个证明或者ψ可以建构出一个证明" 对於(pv~p)来说 除非能说明所有的句子与其negation不能皆同时找到证明 那不能说明排中律成立 另外我也觉得自然演绎法在过程中直接放入恒真句怪怪的 有书可以参考一下嘛 我只知道Gentzen版本的 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 220.134.201.196