作者A1Yoshi (我是妖西)
看板logic
标题Re: [请益] 逻辑蕴含与实质蕴含
时间Thu Mar 15 06:16:51 2007
※ 引述《aletheia (cOnJeCTuRe)》之铭言：
: ※ 引述《A1Yoshi (我是妖西)》之铭言：
: : (p‧q)→p，逻辑上为真。如果真的要扯到语意的真值，一种说法是：
: : 这句话在所有的可能世界里都真。这句话中的箭号若理解成逻辑蕴含，则此蕴含
: : 是种真值函数，正确地符应到每一个可能世界！
: 那这样就不是真值函数了
: 有真值以外的variable:可能世界
: 函数的mapping是多对一或着一对一的
: 你不能说他的结果是在可能世界里头的结果
我前面就说了，如果把逻辑蕴含理解成是种真值函数，它是种复
合的函数（composite function），没错，是会多一些中介变数
出来。
它的确得先经过另一个函数（或两个）然後才能对到由真假二值
所构成的对映域。
可是换种角度看，实质蕴含做为真值函数，它也是复合函数啊！
→（Ta(p), Ta(q)），"→"这函数在此难道不是复合函数吗？
然後，很重要的欧，Ta(p M→ q) = →（Ta(p), Ta(q)）
这等号是定义的。
我想不出理由，为什麽不可以把逻辑蕴含做以下理解：
Tp(p L→ q) = T(→（Ta(p), Ta(q)）)
s 之前所提出的不可以这麽做的理由，通通都被我反驳了。
今天你丢进任何句子进去，都只会跳出一个答案，且这答案，不是
真，就是假。真，表示这句子在所有可能世界都为真；假，表示这
句子不是在所有可能世界皆为真，在某些可能世界里为假。
--
PTT2 自然就是美 => 百慕达群岛 => 漩涡 =>
PinkParties
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 87.194.73.179
1F：推 somedoubt:不要说我放大绝，你去问你老师，我的等式跟你的等式 03/15 07:16
2F：→ somedoubt:等价与否。你的等式的输入项根本就错了。 03/15 07:16
3F：推 somedoubt:在你的等式之中，逻辑蕴含关系成立与否是由前後件给定的 03/15 07:58
4F：→ somedoubt:真值决定的，而不是考量所有可能的情况。 03/15 07:59
5F：推 somedoubt:仔细看过你的等式後，发现你的右项根本不合法：T（T）? 03/15 08:25
6F：→ somedoubt:or T（F）?? 03/15 08:26
7F：→ somedoubt:真值函数的输入是真值或真值有序配对，真值给定函数的输 03/15 08:27
8F：→ somedoubt:入是语句，你写错了。 03/15 08:29
9F：推 A1Yoshi:....问老师是怎样啦！>_< 03/16 23:18