看板 [ logic ]
討論串[請益] 自然演繹法題求解
共 4 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#4
Re: [請益] 自然演繹法題求解
推噓1(1推 0噓 1→)留言2則，0人參與, 最新作者teves (teves)時間11年前 (2015/01/03 11:34), 11年前編輯資訊
0
0
1
內容預覽:
根據implication rule, p->q 等價於 ~p v q. 所以 3b. ~C v D. 2b. ~A v ~B v C. 1b. ~(~A v ~B v D) v E. 1可以用De Morgan's 跟 distributive rule拆開不過要證明沒這個必要. 4. ~A v
(還有283個字)
#3
Re: [請益] 自然演繹法題求解
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者suhorng ( )時間11年前 (2015/01/02 11:57), 11年前編輯資訊
0
0
1
內容預覽:
用 λ-calculus 的話...假設. f : (A → B → D) → E. g : A → B → C. h : C → D. 那在 g 後面 compose 上 h 得到. (λ(a:A). h。g a) : A → B → D. 於是. f (λ(a:A). λ(b:B). h (g
(還有721個字)
#2
Re: [請益] 自然演繹法題求解
推噓5(5推 0噓 8→)留言13則，0人參與, 最新作者ppu12372 (高能兒)時間11年前 (2014/12/31 20:17), 11年前編輯資訊
0
0
1
內容預覽:
打勾✓代表題目令其為真,0代表推論為假,1代表推論為真. 要證明E為真,先假設E為假,找到矛盾後就證明E為真了. ✓ 0. (A -> (B -> D)) -> E. then. 0 ✓ 0. (A -> (B -> D)) -> E. then. 1 0 0 ✓ 0. (A -> (B -> D)
(還有427個字)
#1
[請益] 自然演繹法題求解
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者lhk8276 (Husky)時間11年前 (2014/12/31 15:27), 編輯資訊
0
0
1
內容預覽:
對於數學白痴修邏輯通識頭腦已經打結了，求這題解><謝謝大家. 請用自然演繹法證明下列論證為有效. 1. (A -> (B -> D)) -> E. 2. A -> (B -> C). 3. C -> D /:. E. --. Sent from my Android. --. ※ 發信站: 批踢踢實
首頁
上一頁
1
下一頁
尾頁