※ 引述《A1Yoshi (我是妖西)》之铭言： : 我说了，针对形式为A→B这样的句子，无论A或B，我们现在都同意，它一定要是 : 有限长的。而这意思是说，无论A或B到底各自由几类原子句或本身就是原子句所 : 构成，长度也好、原子句的种类也好，都是有限的。 : 也因此，画真值表时，列数会是有限的。 : 这是为什麽透过有限步骤，我们可以有效地决定一个句子是不是前件逻辑蕴含後 : 件！ : 要不然你告诉我嘛，为什麽我们可以判断「如果陈水扁是台湾总统则布希是美国 : 总统」这句话，前件不逻辑蕴含後件呢？ : 这例子中的A和B各自是某原子句，而真值表总共的列数只有四行！ 嗯嗯 你有没有想过 为什麽我们不用画真值表就能判断 "如果空气潮湿了则天下雨" 的真假值 而判断逻辑蕴含的方式之一 是要画出真值表 画真值表这样的演算法 已经超出纯粹的真值了 对我来说 真值表的重点不在真值 反而是他可以用有限步骤穷尽论证的structure 这才是判断逻辑蕴含成立与否的幕後黑手 或许用三段论的方式举各例子会更方便理解 苏格拉底是兔子 所有的兔子都不会死 所以苏格拉底不会死 这很明显 後件是前提的逻辑结果 这逻辑形式的有效性和前提或结论是真是假没有关系 当然你可以继续说逻辑蕴含和真值大有关系 这我不反对 反正本来就是一堆term互相定义来定义去的 不过在初阶逻辑里头 它的确不是真值函数 --

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