看板 [ logic ]
討論串[請益] 這樣做有問題嗎?
共 3 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#3
Re: [請益] 這樣做有問題嗎?
推噓1(1推 0噓 1→)留言2則，0人參與, 最新作者bagaqq (彭小黑)時間16年前 (2010/01/22 00:07), 編輯資訊
0
0
0
內容預覽:
應該不會. 應該沒有 不過最好把兩個QN步驟都寫出來. 2. (∀y)(Syx → ~Sxy) ,EI 1. 3. Sxx → ~Sxx ,UI 2. 4. ~Sxx V ~Sxx ,Impl 3. 5. ~Sxx ,Taut 4. 6. (∃x)~Sxx ,EG 5. 7. ~(∀x)Sxx ,Q
#2
Re: [請益] 這樣做有問題嗎?
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者Searle (♂擁抱後的寂寞♀)時間16年前 (2010/01/21 18:31), 編輯資訊
0
0
2
內容預覽:
我又來了orz. (1). 1. ∀x[Rx → ∀y(Dy→Nxy)]. 2. Ra → ∀y(Dy→Nay) ,UI1. 這樣的UI會有問題嗎？（被那個∀y困惑住了）. (2). 1. (∃x)(∀y)~Rxy. 2. ~(∀x)(∃y) Rxy ,QN 1. 這樣的QN有問題嗎？. (3).
(還有37個字)
#1
[請益] 這樣做有問題嗎?
推噓1(1推 0噓 0→)留言1則，0人參與, 最新作者Searle (♂擁抱後的寂寞♀)時間16年前 (2010/01/20 18:42), 編輯資訊
0
0
2
內容預覽:
今天做一個題目是這樣的.... 1. ∀x(Dx → Gx). 2. ~(∃x)Gx Ｖ (∃x)(ExΛFx). 推 (∃x)Dx → (∃x)Ex. 3. ∃xDx , C for CP. 4. Dx , EI 3. 5. Dx → Gx , UI 1. 6. Gx , MP 4,5. 7. (
(還有300個字)
首頁
上一頁
1
下一頁
尾頁