※ 引述《A1Yoshi (我是妖西)》之铭言： : ※ 引述《aletheia (cOnJeCTuRe)》之铭言： : : 那这样就不是真值函数了 : : 有真值以外的variable:可能世界 : : 函数的mapping是多对一或着一对一的 : : 你不能说他的结果是在可能世界里头的结果 : 我前面就说了，如果把逻辑蕴含理解成是种真值函数，它是种复 : 合的函数（composite function），没错，是会多一些中介变数 : 出来。 抱歉我可能得说详细一点 我总是写的太短了 在domain里面 因为要考虑可能世界这变数的关系 多出了{T,F}之外的东西 这样不是初阶逻辑里的真值函数 我比较无知 知道的真值函数只有这种 换句话说 这两种蕴含的模型是不同type 至於要说那是另一种不一样的或较特别的真值函数 这我就不想讨论了 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 61.231.70.120