看板 [ logic ]
討論串[請益] tautologically imply?
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [請益] tautologically imply?
推噓0(0推 0噓 1→)留言1則，0人參與, 最新作者MathTurtle (恩典)時間14年前 (2012/01/29 17:00), 編輯資訊
0
0
0
內容預覽:
不太對, 'satisfy' 在這裡的用法是一個 assignment 與一個set of wffs. 之間的關係, 而不是wffs之間的關係。. 而一個assignment, 在 propositional logic 中通常是給予每個出現的. propositional symbol 一個真假值
(還有342個字)
#1
[請益] tautologically imply?
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者greprep (烤啦！)時間14年前 (2012/01/29 07:57), 編輯資訊
0
0
0
內容預覽:
最近讀數學邏輯教到tautologically imply這個概念，教科書寫的定義我不是很懂，. 教授解釋也不清楚，想問一下。以下是課本定義：. Σ= a set of wffs(well-formed formulas). τ= a wff. Def:Σtautologically implies
(還有522個字)
首頁
上一頁
1
下一頁
尾頁