推 MathTurtle:推這個方法。 如果你的natural deduction有DS和add的話 04/12 18:53
→ MathTurtle:這方法是不錯的.... 04/12 18:53
推 sandyclaws:今天終於想出來了!和這位大大的方法依樣!非常感謝! 04/12 19:00
推 dementia:補充:這是典型的方法 上網或看書都找得到 04/16 03:36
如果不使用 RAA 可以這樣推：
1. R^~R given
2. R 1. Simp
3. RVS 2. Add
4. ~R 1. Simp
---------
5. S 3., 4. DS
可以發現由於 3 是使用可以添加任何命題的 Add 規則...
所以 S 你想代入任何 wff 都可以！
※ 引述《MathTurtle (恩典)》之銘言：
: ※ 引述《sandyclaws (剩蛋老人)》之銘言：
: : 問一個有關邏輯推導的技巧
: : 在命題互相矛盾的時候 可以推導出任何結論
: : 今天我推導出
: : R^~R(R且非R)
: : 請問要怎樣推導出S(任何一個結論)?
: : 感謝大家囉!
: 要看你用的是什麼推理系統(proof theory)
: 如果你用的是自然演譯法(natural deduction),
: 看你的系統裡有沒有RAA推論規則 (如果是直覺邏輯的自然演譯法就沒有 RAA),
: 如果有的話, 你就可以這樣推:
: 1. ~S Assumption
: 2. R^~R Premise
: 3. S 1-2 RAA
--
～白首相知猶按劍‧朱門早達笑彈冠～
～摘自 王維‧酌酒與裴迪～
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.44.176.136