作者A1Yoshi (我是妖西)
看板logic
标题Re: [请益] 逻辑蕴含与实质蕴含
时间Sat Mar 17 04:48:44 2007
推 somedoubt:不要说我放大绝，你去问你老师，我的等式跟你的等式 03/15 07:16
→ somedoubt:等价与否。你的等式的输入项根本就错了。 03/15 07:16
推 somedoubt:在你的等式之中，逻辑蕴含关系成立与否是由前後件给定的 03/15 07:58
→ somedoubt:真值决定的，而不是考量所有可能的情况。 03/15 07:59
推 somedoubt:仔细看过你的等式後，发现你的右项根本不合法：T（T）? 03/15 08:25
→ somedoubt:or T（F）?? 03/15 08:26
→ somedoubt:真值函数的输入是真值或真值有序配对，真值给定函数的输 03/15 08:27
→ somedoubt:入是语句，你写错了。 03/15 08:29
........%$!%&$@$#&$ -.-|||
一、那是简写，T是复合函数。
二、我用大家更熟悉的数学函数来做例子：
f(h(g(x, y))) = z 如果要类比，我的Tp = (f。h。g)(x, y)
所以输入还是两个变元：
Tp(x, y) ＝ (f。h。g)(x, y) = (f。h)(g(x, y)) = T(g(x, y))
^^^^^^^^^^^^^^^^^^^^^^^^^^^^
T = (f。h), g = →
我想我应该没有蠢到犯这种错误。我那样写是因为到底需要几个中介函数
我还不确定，因此乾脆合并用T表示。
T 也可能等於 (f。h。s。t)
（应该不用到四个啦，但到底需要几个这不重要啦）
--
PTT2 自然就是美 => 百慕达群岛 => 漩涡 =>
PinkParties
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 87.194.73.179
※ 编辑: A1Yoshi 来自: 87.194.73.179 (03/17 05:27)
1F：推 somedoubt:如果你的Tp是真值给定函数，那你对它输入项的定义写错了 03/17 08:06
2F：→ somedoubt:Tp的输入项是单一的命题。 03/17 08:07
3F：推 A1Yoshi:.....我想我该放弃了。唉。 03/17 22:20