看板 [ Math ]
討論串[其他] |-和|=有什麼差別
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [其他] |-和|=有什麼差別
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者ERT312 (312)時間9年前 (2016/12/25 11:39), 編輯資訊
0
0
0
內容預覽:
以 propositional logic 來說. Γ |= P. 就是在真值表中找不到一行. 其中Γ的元素全真而P為假的情況. 真值表的任一行就是一種"解釋". 它賦予了Γ的元素真假值. 所以是 semantic. 那為何需要 Γ |- P ?. 因為真值表沒效率. 它的行數會隨著Γ∪{P}中的.
(還有215個字)
#1
[其他] |-和|=有什麼差別
推噓1(1推 0噓 2→)留言3則，0人參與, 最新作者ADHD (注意力不足過動症)時間9年前 (2016/12/24 23:32), 9年前編輯資訊
0
0
0
內容預覽:
先說|-. Γ |- P. 若且唯若可由集合Γ推導出P元素. Γ |= P. 若且唯若找不到集合Γ的元素全真而P為假的情況. 如果我沒有翻譯錯的話. 我的問題是可推導出P這件事不就是找不到Γ中的元素為真而P為假嗎. 本來是只有下面那個. 但是後來出現了上面的. 我有點分不清. 我一直理解為同一件事.
(還有80個字)
首頁
上一頁
1
下一頁
尾頁