T(p M→ q) = Ta(p→q) = →(Ta(p),Ta(q)) 上述等式描述实质蕴含语句的真值条件，很明显我们可以看出实质蕴含语句的 真值由蕴含句的前後件的真值决定。 T(p L→ q) = &(T1(p→q),T2(p→q),...,Tn(p→q),...) 上述等式描述逻辑蕴含语句的真值条件，白话的意思是说， p逻辑蕴含q若且唯若不存在一个真值给定函数使得(p→q)为假，意即使得p真而q假。 换句话说，我们要考虑完所有的真值给定函数针对(p→q)给出的值，才能判定 一条件句是否是逻辑蕴含句。任一真值给定函数会给出所有合法语句（wff）的真值， 在古典逻辑中，利用化约的方式，使得任一真值给定函数只需安排好所有 atomic sectence真值，就可以给出任何任何复杂语句的真值。 假设atomic sectences的个数跟自然数一样多，那麽我们会有2^N个真值给定函数（跟 实数一样多了）。换句话说， &(T1(p→q),T2(p→q),...,Tn(p→q),...)这个函数的 输入是不可数无限长的字串（不是定义域喔），这根本是不合法的函数。 所以才需要对真值函数的定义域作限定，而这也是我们画真值表时所采行的： 我们只考虑所有的真值给定函数对被讨论到的语句中的atomic sectences的真 值给定情况。如此一来，我们需要考虑的真值给定函数只会是有限多个，而 &(T1(p→q),T2(p→q),...,Tn(p→q),...)的输入就会是有限长的字串， 那麽逻辑蕴含就可以被视为一个合法的函数。 ps1"逻辑蕴含函数"的input不是次语句的真值，所以不能被视为古典意义下的真值函数 ps2这个函数的输出不会只有一个值 ps3不是我爱将旧文加长重写，而是不加长重写，就没办法让别人看懂啊 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 220.136.234.226 ※ 编辑: somedoubt 来自: 140.114.118.138 (03/14 13:58)