※ 引述《Senkousha ( )》之銘言：
: ※ 引述《A1Yoshi (我是按摩棒...)》之銘言：
: : 然後 A -> (B -> C) :: (A & B) -> C
: 嗯 我大概了解了
: 應該是我對 "->" 符號的解讀有問題,
: 把它當成英文的 imply 似乎會含有時序的意義
"imply"的確時常會有時序的意義，我想這一點沒有太嚴重的錯誤。
但嚴格來說，imply的保守講法是：
它，不多不少，就只是一種邏輯關係而已。
但一般的時序意義怎麼來的呢？我舉一個例子來說明：
如果一個人使用他的拳頭去打牆壁，那麼，他的拳頭很有可能會受
傷。
在這裡，前件描述一個事件，後件也是，而兩者之間的關係為因果
關係。而嚴格的因果關係（強到可稱為因果定律）可以轉換成邏輯
上的"imply"關係（不過反之不成立）。
: 但是邏輯符號並沒有這樣的意思
: 而我會覺得該老師說明有問題
: 也是基於這樣的誤會.
: 至於所謂的高階邏輯似乎因為可以表達出時態的差異
: 比較不至於讓我有這樣的混淆.
--
PTT2 自然就是美 => 百慕達群島 => 漩渦 => PinkParties
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.129.70.43