※ 引述《Senkousha ( )》之铭言： : ※ 引述《A1Yoshi (我是按摩棒...)》之铭言： : : 然後 A -> (B -> C) :: (A & B) -> C : 嗯 我大概了解了 : 应该是我对 "->" 符号的解读有问题, : 把它当成英文的 imply 似乎会含有时序的意义 "imply"的确时常会有时序的意义，我想这一点没有太严重的错误。 但严格来说，imply的保守讲法是： 它，不多不少，就只是一种逻辑关系而已。 但一般的时序意义怎麽来的呢？我举一个例子来说明： 如果一个人使用他的拳头去打墙壁，那麽，他的拳头很有可能会受 伤。 在这里，前件描述一个事件，後件也是，而两者之间的关系为因果 关系。而严格的因果关系（强到可称为因果定律）可以转换成逻辑 上的"imply"关系（不过反之不成立）。 : 但是逻辑符号并没有这样的意思 : 而我会觉得该老师说明有问题 : 也是基於这样的误会. : 至於所谓的高阶逻辑似乎因为可以表达出时态的差异 : 比较不至於让我有这样的混淆. -- PTT2 自然就是美 => 百慕达群岛 => 漩涡 => PinkParties --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.129.70.43