※ 引述《lofi23 (一番宅！生不出啤酒~)》之铭言： : 在某校的考古题上看到这两个名词。 : 翻了一些书，找到定义如下： : 实质蕴含：若一个真函如言为真，则前件实质蕴含後件。 : 逻辑蕴含：若一个真函如言"逻辑上"为真，则前件逻辑蕴含後件。 实质蕴含指的是if... ,then... 记号会用单箭号表示 逻辑蕴含是推论关系 ....entail..... 记号会用 |= (double turnstile) : 我想请教的是关於"逻辑上为真"，指的是什麽意思呢？ 真 是各不太容易处理的东西 简单的说 我们先假定大家都知道什麽是真 所以暂时不予讨论 给他各记号 T或着1 这样可以当作逻辑上为真 如果你想更进一步的了解 可以这样讲 当我们说一个句子是真的时候 我们是基於某些"背景"(结构)下的判断 举各例子 要说P:这钉书机是红的 这句话P是真的 我们可能得先看到这钉书机 才能知道他的颜色是什麽 对你来说 你无法看见我现在看到的钉书机 所以你无法判断P是不是真的 但我却可以进行判断 因为我有的比你多了些东西 对比到逻辑上来说 当我们在说明某东西是真的时候 也是需要某些其他的背景或是结构才能成立 : 另外想问一个逻辑符号，长的像等号，但是是三条线... : 请问这个符号是什麽？ : 又他在逻辑推论中有什麽规则必须遵守，或使用？ 这符号是逻辑上相等 和双箭号相同 他和V(或)一样都是真值的函数元 (truth-functor) 在自然语言上叫做if and only if, 若且唯若 在三条线两边的真值相等 --

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