作者Senkousha ( )
看板logic
标题Re: only if, only when
时间Thu May 25 13:44:21 2006
※ 引述《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)
1F：推 slzhao:讲时序有点笼统,一般是讲因果. 05/25 13:54
2F：→ slzhao:有因就有果,并不表示无因就没果,无因也可能有果 05/25 13:55
3F：推 Senkousha:谢谢大家 >3</ 05/25 13:57
4F：→ Senkousha:那, 如果硬要套上 1st-order logic 应该要变成怎样呢? 05/25 13:58