对不起我这串看了很久还是看不太懂orz 目前我这样理解请教一下对不对 逻辑蕴含是指在所有可能情形下,前句蕴含後句 这个所有可能情形就是指所有"真值给定函数"T T()可输入一子句,输出该子句的真值 而像这样的T函数有无限多个 我的想像是,T就像是所有的平行世界,有无限多个 而如果要把逻辑蕴含当成函数,就要把所有的T输入进去 所以输入是无限长,不合法 但是因为如果输入的是p->q 因为在所有的平行世界中 T(p)跟T(q)的结果其实都各只有两种(True或False) 所以可以化简成输入这2*2=4种T函数就好了 这样逻辑蕴含就是函数 也就是somedoubt所谓的"限定定义域" 而Yoshi是觉得当初"所有可能性",其实本来就是只有这样的4种 所以可以当成函数 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 61.229.174.182 ※ 编辑: teves 来自: 61.229.174.182 (03/17 01:03) ※ 编辑: teves 来自: 61.229.174.182 (03/17 01:04)