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

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.129.70.43