[其他] |-和|=有什麼差別

[ADHD (注意力不足過動症)]

先說|-

Γ |- P

若且唯若可由集合Γ推導出P元素

Γ |= P

若且唯若找不到集合Γ的元素全真而P為假的情況

如果我沒有翻譯錯的話

我的問題是可推導出P這件事不就是找不到Γ中的元素為真而P為假嗎

本來是只有下面那個

但是後來出現了上面的

我有點分不清

我一直理解為同一件事

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.161.37.138
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1482593530.A.880.html
推 suhorng     : 上面是 syntactic 的東西, 下面是 semantic 的東西
→ suhorng     : syntactic 跟 semantic 之間是 completeness? 跟
→ suhorng     : soundness? 在關聯
嗯
後面的確是在證明soundness和completeness
是syntactic的是什麼意思
我把他理解為邏輯語言的語法這樣理解對嗎
※ 編輯: ADHD (118.161.37.138), 12/25/2016 01:16:25