Re: [請益] 問一個邏輯證明技巧

看板logic作者Yures (優而仕。)時間14年前 (2011/04/12 16:23)推噓3(3推 0噓 1→)

留言4則, 3人參與討論串3/3 (看更多)

如果不使用 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

推

MathTurtle

04/12 18:53, , 1^F

04/12 18:53, 1^F

→

MathTurtle

04/12 18:53, , 2^F

04/12 18:53, 2^F

推

sandyclaws

04/12 19:00, , 3^F

04/12 19:00, 3^F