※ 引述《somedoubt (人独立燕双飞)》之铭言： : T(P →M Q) = Tn(P→Q) for the assigned Tn : 而我们会说实质蕴含是truth functional的理由正在於实质蕴含条件句的真值 : 只由某一特定的真值给定函数以及"→"的定义所决定。 OK. 我是这样想的： 今天假设所有的命题句子数目有限。存在一个真值给定函数，我们喂进任 何一个句子它都可以map 出一个真值出来。这部分我同意我也有看懂。 而说实质蕴含是种函数的意思是说，你喂进两个句子的真值後，会得到整 句的真值。 同样的，说逻辑蕴含是种真值函数，也是这意思。 只是逻辑蕴含这种函数你在对映域里只会有一个值，即，真这个值。 比方说： Ｐ：陈水扁是台湾总统。 Ｑ：布希是美国总统。 Ｆ（Ｐ）= 1, Ｆ（Ｑ）= 1, Ｆ：真值给定函数, 1：True, 0：false 而实质蕴含是另一种函数： Ｍ（Ｆ（Ｐ）, Ｆ（Ｑ））= 1 Ｍ：实质蕴含（真值）函数 逻辑蕴含亦然： Ｌ（Ｆ（Ｐ）, Ｆ（Ｑ））= 0, Ｌ：逻辑蕴含（真值）函数 所以，问题到底在哪儿？为什麽逻辑蕴含不能理解成是种函数？尤其，理解成 是种真值函数，而在此所谓真值函数的意思就是你喂进东西後，跳出来的是真 值，便称真值函数。所以这儿的Ｆ, Ｍ, Ｌ三个函数都是真值函数。你可以说 Ｍ或Ｌ是种复合的函数，因为它们都包括了Ｆ，但复合函数也是函数啊。 f(g(x))或f(g(x), h(x))，谁说f就不是函数了？照函数的定义，都是函数啊。 另外我不懂你上头後设的意思。 -- PTT2 自然就是美 => 百慕达群岛 => 漩涡 => PinkParties --

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