看板 [ logic ]
討論串[請益] 問一個邏輯證明技巧
共 3 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#3
Re: [請益] 問一個邏輯證明技巧
推噓3(3推 0噓 1→)留言4則，0人參與, 最新作者Yures (優而仕。)時間14年前 (2011/04/12 16:23), 編輯資訊
0
0
0
內容預覽:
如果不使用 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 你想代入任何 w
#2
Re: [請益] 問一個邏輯證明技巧
推噓0(0推 0噓 1→)留言1則，0人參與, 最新作者MathTurtle (恩典)時間14年前 (2011/04/12 01:18), 編輯資訊
0
0
0
內容預覽:
要看你用的是什麼推理系統(proof theory). 如果你用的是自然演譯法(natural deduction),. 看你的系統裡有沒有RAA推論規則 (如果是直覺邏輯的自然演譯法就沒有 RAA),. 如果有的話, 你就可以這樣推:. 1. ~S Assumption. 2. R^~R Prem
#1
[請益] 問一個邏輯證明技巧
推噓3(3推 0噓 9→)留言12則，0人參與, 最新作者sandyclaws (剩蛋老人)時間14年前 (2011/04/11 23:21), 編輯資訊
0
0
0
內容預覽:
問一個有關邏輯推導的技巧. 在命題互相矛盾的時候 可以推導出任何結論. 今天我推導出. R^~R(R且非R). 請問要怎樣推導出S(任何一個結論)?. 感謝大家囉!. --. ╭─────────────────────────────────────╮│ 這篇文章讓你覺得？ ││ ││(⊙o⊙)（
(還有11個字)
首頁
上一頁
1
下一頁
尾頁