作者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。
例子:
▕— (P→P)
▕= (P→P)
就算我们把P→P,这句里头的"→"理解成实质蕴含,OK啊。
而理解成逻辑蕴含,当然更OK罗。只是,也许可以透过些符号让意思
更清楚:
▕— □(P→P)
▕= □(P→P)
--
PTT2 自然就是美 => 百慕达群岛 => 漩涡 =>
PinkParties
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 87.194.73.179
1F:推 aletheia:我没有混淆呢 140.112.143.99 03/10 16:10
2F:推 aletheia:其实□(P→P)和逻辑蕴含有点不太一样 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