作者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