推 slzhao:講時序有點籠統,一般是講因果. 05/25 13:54
→ slzhao:有因就有果,並不表示無因就沒果,無因也可能有果 05/25 13:55
推 Senkousha:謝謝大家 >3</ 05/25 13:57
→ Senkousha:那, 如果硬要套上 1st-order logic 應該要變成怎樣呢? 05/25 13:58
※ 引述《A1Yoshi (我是按摩棒...)》之銘言：
: 我覺得問題點在"only if"，而非"will"。關於時間時態的問題屬於高階邏
: 輯，而這題似乎不需要考慮那麼複雜的東西。
: 也許也可以先這樣想：B only if C, if A 或者是 if A, B only if C
: 然後 A -> (B -> C) :: (A & B) -> C
嗯 我大概了解了
應該是我對 "->" 符號的解讀有問題,
把它當成英文的 imply 似乎會含有時序的意義
但是邏輯符號並沒有這樣的意思
而我會覺得該老師說明有問題
也是基於這樣的誤會.
至於所謂的高階邏輯似乎因為可以表達出時態的差異
比較不至於讓我有這樣的混淆.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.167.174.197
※ 編輯: Senkousha 來自: 218.167.174.197 (05/25 13:46)