看板 [ logic ]
討論串[請益] 請問一個有關邏輯的基本問題
共 4 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#4
Re: [請益] 請問一個有關邏輯的基本問題
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者MathTurtle (恩典)時間14年前 (2011/03/31 14:44), 編輯資訊
0
0
0
內容預覽:
well, 要看你原本給的前提是什麼。. 如果題目是如同它原本給的. 1.R^(S^T). 2.~Q. 3.(S^~Q)>Q. /Q. 那的確上面的proof是完整的。. 不過我有點懷疑這是不是原本的題目就是了,. 因為它看起來比較像是要練習應用RAA規則的練習題,. 因此我猜原本的題目是:. 1.
(還有62個字)
#3
Re: [請益] 請問一個有關邏輯的基本問題
推噓3(3推 0噓 1→)留言4則，0人參與, 最新作者dementia (妖精尾巴魔導士)時間14年前 (2011/03/30 01:45), 編輯資訊
0
0
1
內容預覽:
可以. 有效推論(valid argument)並不要求前提都為真. 其實這種情況. 可以用來證明前提是不一致的(inconsistent). 因此前提不可能同時為真. 命題3沒有自相矛盾. 在S為假而且Q為真的時候. 或者. 在S為真而且Q為真的時候. "(S^~Q)>Q"這句話為真. 以上. -
(還有50個字)
#2
Re: [請益] 請問一個有關邏輯的基本問題
推噓1(1推 0噓 0→)留言1則，0人參與, 最新作者MathTurtle (恩典)時間14年前 (2011/03/30 01:23), 編輯資訊
0
0
0
內容預覽:
這個應該是所謂的RAA推論規則,. 但上面的proof沒有寫完, 應該還要加上:. 8. Q^~Q (2, 7 CONJ). 9. Q (1-8 RAA). --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 61.217.144.117.
#1
[請益] 請問一個有關邏輯的基本問題
推噓1(1推 0噓 4→)留言5則，0人參與, 最新作者sandyclaws (剩蛋老人)時間14年前 (2011/03/29 22:53), 編輯資訊
0
0
0
內容預覽:
請問在邏輯的推導式中. 可以推導過程或命題與結論矛盾嗎?. 例如命題或是推導中 有一 ~Q. 欲求結論卻是Q. 1.R^(S^T). 2.~Q. 3.(S^~Q)>Q. /Q >是條件號 ^是連言號. 4.S^T(1.SIMP). 5.S(4.SIMP). 6.S^~Q(2.5.CONJ). 7.Q
首頁
上一頁
1
下一頁
尾頁