作者aletheia (cOnJeCTuRe)
看板logic
标题Re: [请益] 逻辑蕴含与实质蕴含
时间Thu Mar 15 00:36:43 2007
※ 引述《A1Yoshi (我是妖西)》之铭言：
: (p‧q)→p，逻辑上为真。如果真的要扯到语意的真值，一种说法是：
: 这句话在所有的可能世界里都真。这句话中的箭号若理解成逻辑蕴含，则此蕴含
: 是种真值函数，正确地符应到每一个可能世界！
那这样就不是真值函数了
有真值以外的variable:可能世界
函数的mapping是多对一或着一对一的
你不能说他的结果是在可能世界里头的结果
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.231.68.12