Re: [請益] 邏輯蘊含與實質蘊含
對不起我這串看了很久還是看不太懂orz
目前我這樣理解請教一下對不對
邏輯蘊含是指在所有可能情形下,前句蘊含後句
這個所有可能情形就是指所有"真值給定函數"T
T()可輸入一子句,輸出該子句的真值
而像這樣的T函數有無限多個
我的想像是,T就像是所有的平行世界,有無限多個
而如果要把邏輯蘊含當成函數,就要把所有的T輸入進去
所以輸入是無限長,不合法
但是因為如果輸入的是p->q
因為在所有的平行世界中
T(p)跟T(q)的結果其實都各只有兩種(True或False)
所以可以化簡成輸入這2*2=4種T函數就好了
這樣邏輯蘊含就是函數
也就是somedoubt所謂的"限定定義域"
而Yoshi是覺得當初"所有可能性",其實本來就是只有這樣的4種
所以可以當成函數
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.229.174.182
※ 編輯: teves 來自: 61.229.174.182 (03/17 01:03)
※ 編輯: teves 來自: 61.229.174.182 (03/17 01:04)
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 18 之 27 篇)：