推 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