※ 引述《teves (teves)》之铭言： : : 只要多几个函数，我们就可以从Ta(p), Ta(q)得到该句是否前件逻 : : 辑蕴含後件。 : : 我的想法是，s 一开始所提出的反对理由，那些如果是问题则Ta本身 : : 就会有问题，用Ta来定义的实质蕴含也当然也承接这些问题。 : : 而如果我们做一些限定使得Ta不会有那些问题，则，我认为逻辑蕴含 : : 被当作某种真值函数来理解，也跟着没有问题。 : 不过somedoubt指的是输入无限大耶 : 你是说Ta的定义域无限大,定义域无限大本来就可以啊? 逻辑蕴含做真值函数理解时，定义域也无限大，输入则是有限的。 : 我觉得在某些情况所有可能情形的确是跟子句数量有关 : 但是在某些情况就无法化简了 : 比如说"如果我的身高大於160,则我的身高+10大於170" 这是（数学）分析真，而这是否是种逻辑上的必然真或恒真.... 可以讨论。我觉得如果我们只谈语句逻辑，则这句的形式是p→q， 而这形式逻辑上不恒真。 类似的问题我一开始就问过了。 -- PTT2 自然就是美 => 百慕达群岛 => 漩涡 => PinkParties --

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