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