Re: [請益] 邏輯蘊含與實質蘊含
※ 引述《A1Yoshi (我是妖西)》之銘言:
: ※ 引述《aletheia (cOnJeCTuRe)》之銘言:
: : 那這樣就不是真值函數了
: : 有真值以外的variable:可能世界
: : 函數的mapping是多對一或著一對一的
: : 你不能說他的結果是在可能世界裡頭的結果
: 我前面就說了,如果把邏輯蘊含理解成是種真值函數,它是種複
: 合的函數(composite function),沒錯,是會多一些中介變數
: 出來。
抱歉我可能得說詳細一點 我總是寫的太短了
在domain裡面 因為要考慮可能世界這變數的關係
多出了{T,F}之外的東西
這樣不是初階邏輯裡的真值函數 我比較無知 知道的真值函數只有這種
換句話說 這兩種蘊含的模型是不同type
至於要說那是另一種不一樣的或較特別的真值函數 這我就不想討論了
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.231.70.120
討論串 (同標題文章)
本文引述了以下文章的的內容:
完整討論串 (本文為第 20 之 27 篇):