※ 引述《A1Yoshi (我是妖西)》之铭言： : : 而Yoshi是觉得当初"所有可能性",其实本来就是只有这样的4种 : : 所以可以当成函数 : 我没有说一定只能有四种而已。试想这样的句子： : ((P&Q)&R) → R : 你若画真值表会出现八列。而8 怎麽算出来的呢？根据整个句子所 : 包含的原子句的种类数来的： : 2^3 = 8 : 针对这例子，原子句的种类有三种。 : 我的想法是，针对任何特定的条件句，因为前後件的句子都是有限 : 的，整个条件句内包含的原子句的种类也是有限的，所以真值表的 : 列数会是有限的且受原子句的数目所决定。 : 而这种决定关系可以转成函数。 我想我没说清楚 我只是举例 我所谓p跟q是指两个independent的事件 所以有四种 如果p跟q彼此有关系就不能这样算. : 只要多几个函数，我们就可以从Ta(p), Ta(q)得到该句是否前件逻 : 辑蕴含後件。 : 我的想法是，s 一开始所提出的反对理由，那些如果是问题则Ta本身 : 就会有问题，用Ta来定义的实质蕴含也当然也承接这些问题。 : 而如果我们做一些限定使得Ta不会有那些问题，则，我认为逻辑蕴含 : 被当作某种真值函数来理解，也跟着没有问题。 不过somedoubt指的是输入无限大耶 你是说Ta的定义域无限大,定义域无限大本来就可以啊? 我觉得在某些情况所有可能情形的确是跟子句数量有关 但是在某些情况就无法化简了 比如说"如果我的身高大於160,则我的身高+10大於170" --

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