Re: [請益] 邏輯蘊含與實質蘊含
※ 引述《A1Yoshi (我是妖西)》之銘言:
: (p‧q)→p,邏輯上為真。如果真的要扯到語意的真值,一種說法是:
: 這句話在所有的可能世界裡都真。這句話中的箭號若理解成邏輯蘊含,則此蘊含
: 是種真值函數,正確地符應到每一個可能世界!
那這樣就不是真值函數了
有真值以外的variable:可能世界
函數的mapping是多對一或著一對一的
你不能說他的結果是在可能世界裡頭的結果
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.231.68.12
討論串 (同標題文章)