討論串(共27篇) - [請益] 邏輯蘊含與實質蘊含 - 看板logic

看板 [ logic ]

討論串[請益] 邏輯蘊含與實質蘊含

共 27 篇文章

排序：最新先 | 最舊先 | 留言數 | 推文總分

內容預覽：開啟 | 關閉 | 只限未讀

首頁

尾頁

#27

Re: [請益] 邏輯蘊含與實質蘊含

推噓0(0推 )留言2則，0人參與作者aletheia (cOnJeCTuRe)時間19年前 (2007/03/20 13:50)資訊

內容預覽:

這邊不對. principle of extensionality說的不是這樣. 我也認為說沒有關係不太恰當但可能跟你的理由不相同吧. 不過在初階邏輯中這樣說很恰當. 實際上如果不把truth或T 當作primative或許會好的多. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ F

#26

Re: [請益] 邏輯蘊含與實質蘊含

推噓18(18推 )留言34則，0人參與作者teves (teves)時間19年前 (2007/03/18 14:54)資訊

內容預覽:

嗯...我不知道到底邏輯蘊含能不能當成函數看. 我不知道函數有沒有規定丟進一個東西跑一定要會停. 你的東西丟進函數的話. 理論上他要去所有平行世界檢查所以可能不會停. 當然有很多的狀況可以化簡成只要檢查有限的情形. 但是真的所有的語句都能被化簡嗎?. 感覺上似乎沒有那麼單純列真值表就能解. 不然就不

(還有237個字)

#25

Re: [請益] 邏輯蘊含與實質蘊含

推噓0(0推 )留言0則，0人參與作者A1Yoshi (我是妖西)時間19年前 (2007/03/17 22:51)資訊

內容預覽:

邏輯蘊含做真值函數理解時，定義域也無限大，輸入則是有限的。. 這是（數學）分析真，而這是否是種邏輯上的必然真或恆真..... 可以討論。我覺得如果我們只談語句邏輯，則這句的形式是p→q，. 而這形式邏輯上不恆真。. 類似的問題我一開始就問過了。. --. PTT2 自然就是美 => 百慕達群島 =>

#24

Re: [請益] 邏輯蘊含與實質蘊含

推噓0(0推 )留言0則，0人參與作者teves (teves)時間19年前 (2007/03/17 12:59)資訊

內容預覽:

我想我沒說清楚. 我只是舉例. 我所謂p跟q是指兩個independent的事件. 所以有四種. 如果p跟q彼此有關係就不能這樣算.不過somedoubt指的是輸入無限大耶. 你是說Ta的定義域無限大,定義域無限大本來就可以啊?. 我覺得在某些情況所有可能情形的確是跟子句數量有關. 但是在某些情況就

#23

Re: [請益] 邏輯蘊含與實質蘊含

推噓1(1推 )留言4則，0人參與作者A1Yoshi (我是妖西)時間19年前 (2007/03/17 05:18)資訊

內容預覽:

T有兩個變元。如果說某條件句只包含兩個原子句，則需要輸入的T. 就只有四種：. (T, T) (T, F) (F, T) (F, F). 我不知道s 所謂限定定義域到底是限定誰的定義域。不過，顯然實. 質蘊含做為真值函數如果要能跑，它也不需要考慮句子裡面根本不. 包含的原子句的真假值，也就是說，我在

(還有618個字)

首頁

尾頁