作者A1Yoshi (我是妖西)
看板logic
标题Re: [请益] 逻辑蕴含与实质蕴含
时间Sat Mar 10 07:51:57 2007
※ 引述《aletheia (cOnJeCTuRe)》之铭言：
: ※ 引述《lofi23 (一番宅！生不出啤酒~)》之铭言：
: : 在某校的考古题上看到这两个名词。
: : 翻了一些书，找到定义如下：
: : 实质蕴含：若一个真函如言为真，则前件实质蕴含後件。
: : 逻辑蕴含：若一个真函如言"逻辑上"为真，则前件逻辑蕴含後件。
: 实质蕴含指的是if... ,then...
: 记号会用单箭号表示
: 逻辑蕴含是推论关系 ....entail.....
: 记号会用 |= (double turnstile)
我对你这段也有些疑惑。我质疑你是否混淆，或有意识（有理由地）
放弃区分syntax/ semantics？
我的理解是，实质蕴含用single turnstile也行，用double也行，但
意思不一样；同理逻辑蕴含也一样。
用single turnstile表示是根据某套形式规则，透过纯语法推论而得
结论；用double则表示根据语意，根据符号所乘载的资讯，使我们可
以推得结论。
我是这样理解的啦。用syntax/ semantics区分来理解single & double
turnstile。
例子：
▕— （Ｐ→Ｐ）
▕＝ （Ｐ→Ｐ）
就算我们把Ｐ→Ｐ，这句里头的"→"理解成实质蕴含，OK啊。
而理解成逻辑蕴含，当然更OK罗。只是，也许可以透过些符号让意思
更清楚：
▕— □（Ｐ→Ｐ）
▕＝ □（Ｐ→Ｐ）
--
PTT2 自然就是美 => 百慕达群岛 => 漩涡 =>
PinkParties
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 87.194.73.179
1F：推 aletheia:我没有混淆呢 140.112.143.99 03/10 16:10
2F：推 aletheia:其实□（Ｐ→Ｐ）和逻辑蕴含有点不太一样 140.112.143.98 03/10 19:40
3F：推 aletheia:逻辑蕴含的话 把square放在arrow上面比较 140.112.143.98 03/10 19:42
4F：推 aletheia:恰当 不过这方面可能有点争议就是了 140.112.143.98 03/10 19:42