※ 引述《A1Yoshi (我是妖西)》之铭言： : 推 aletheia:一般来说 并不会把logical implication当 140.112.143.98 03/09 23:10 : 推 aletheia:作function来看待 140.112.143.98 03/09 23:11 : 这我就不懂了。如果你看考题，考题两个都用「真函如言」，不是吗？ : 而真函，也就是真值函数，的意思不就是我说的那个意思而已吗？（从组 : 成语句的真值到整句语句的真值，这两arguments之间的mapping function） : 举例： : (Ａ‧Ｂ) →Ｂ : 任何语句有这样的形式，我们便可以说前件逻辑上蕴含後件。而所有包 : 含逻辑蕴含的条件句，该条件句整句的真值，由其部分以及该真值函数 : （逻辑蕴含）所决定。这有错误吗？ : 当然，关於这样的一种关系（蕴含关系）是不是一定只能理解成真值函 : 数，显然不是，且针对逻辑蕴含，一般来说，（逻辑）哲学上更有意义 : 的看法是谈到必然性（毕竟只看做是种函数，那就真的彷佛只是种数学 : 定义，而真也仅剩下形式（syntax）意义而已了）。我也同意，这样子 : 看待，你那篇所提及的「推论」这意涵很不明显。而我想这是你说一般 : 来讲逻辑蕴含不会仅用真值函数去理解的主因。毕竟那些才是「哲学上 : 有意义」的问题。 : 但那是一回事。我觉得，尤其是原来题目那样做比较的时候，把两者都 : 用真值函数来理解并没有不恰当的地方吧？ 我之前推文那样回 其实是有问题的 的确不好 logical implication在某些设计之下 是可以当作函数来看 这似乎有点麻烦 不过我确定 logical implication 不是真值函数 简单来说 我们可以找到前件跟後件都是真的 但他不是一个correct sequence 由部分决定整体 和 函数的概念 其实有点差别 --

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