看板 [ Math ]
討論串[請益] tautologically imply?
共 3 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#3
Re: [請益] tautologically imply?
推噓1(1推 0噓 5→)留言6則，0人參與, 最新作者greprep (烤啦！)時間14年前 (2012/01/31 16:21), 編輯資訊
0
0
0
內容預覽:
謝謝r大的解答。還有個問題，就是把原定義翻譯成符號，您看看這樣翻對不對。. Def:Σtautologically impliesτ(written |=τ) iff every truth assignment. for the sentence symbols in Σ and τthat sa
(還有68個字)
#2
Re: [請益] tautologically imply?
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者recorriendo (孟新)時間14年前 (2012/01/29 09:13), 編輯資訊
0
0
0
內容預覽:
首先|=是一個模型論的概念 因此要懂必須先知道什麼是模型. 因為現在講的是語句邏輯而已 所以模型就是atomic symbol的truth assignment. (以後學到一階邏輯的模型就很複雜了). Σ|=τ白話的意思就是(在在一階邏輯 二階邏輯也都是這個意思). '任何一個模型 只要Σ的句子在
(還有105個字)
#1
Fw: [請益] tautologically imply?
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者greprep (烤啦！)時間14年前 (2012/01/29 07:57), 編輯資訊
0
0
0
內容預覽:
※ [本文轉錄自 logic 看板 #1F98jsAm ]. 作者: greprep (烤啦！) 看板: logic. 標題: [請益] tautologically imply?. 時間: Sun Jan 29 07:57:39 2012. 最近讀數學邏輯教到tautologically impl
(還有726個字)
首頁
上一頁
1
下一頁
尾頁