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

看板Math作者ADHD (注意力不足過動症)時間7年前 (2016/12/24 23:32)推噓1(1推 0噓 2→)

留言3則, 1人參與討論串1/2 (看更多)

先說|- Γ |- P 若且唯若可由集合Γ推導出P元素 Γ |= P 若且唯若找不到集合Γ的元素全真而P為假的情況如果我沒有翻譯錯的話我的問題是可推導出P這件事不就是找不到Γ中的元素為真而P為假嗎本來是只有下面那個但是後來出現了上面的我有點分不清我一直理解為同一件事 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.161.37.138 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1482593530.A.880.html

推

suhorng

12/25 00:47, , 1^F

12/25 00:47, 1^F

→

suhorng

12/25 00:47, , 2^F

12/25 00:47, 2^F

→

suhorng

12/25 00:47, , 3^F

12/25 00:47, 3^F