作者asdinap (asdinap)
看板logic
标题Re: [讨论] 最难的逻辑题
时间Sat Mar 21 22:22:48 2009
※ 引述《hirabbitt (兔子)》之铭言：
: : [月球是乾酪做的]已知是错 [罗马在俄国]已知是错
: : 那麽 [只有罗马在俄国 时 月球是乾酪做的]
: 这样翻会比较好一点?
: [当罗马在俄国时 月球是乾酪做的]
因为我看英文 iff = if, and only if 有only 所以我解读成只有(只有当...)
: : ["The moon is made of Gorgonzola iff Rome is in Russia" is true]
: : 其中 iff = if, and only if
: : 它运用这个逻辑去解题 一样在三个问题中就解出来
: : 但是我认为这个逻辑根本不对
: : 我的看法 事实上罗马不在俄国 就算罗马在俄国 月球为何就是乾酪做的
: 已经确定前提为非的情况
: 没有所谓的"就算"
: f -> f 并不能导出 t -> t
: 所以这句并没有
: [若罗马在俄国 月球就是乾酪做的]
: 这样的意思
: (但是有 [如果月球是乾酪做的 有可能 罗马在俄国] 的意思)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
这句我欣然认同 因为你是用 [有可能]
而原文是用 is 不是用 may 或 probable
所以我认为它是肯定的 有必定之意
但是如果使用罗辑专用术语 iff 会使is的意含 是[有可能]
那麽原作者利用iff来解题的方法就解不开了
is一定要是必定之意 其解才说得通啊
(其解之第一问:
Does da mean yes iff, you are True iff B is Random?
其推理用的 are is 都是必定的意思 )
: 这里的"真"是指整句为真
: 不是指"让後面为真"
: (f -> f) is t
{ [前面为真 让 後面为真] 是真 }
不就是 [前面为真] 让 [後面为真]?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.104.121.35
1F：→ hirabbitt:"有可能"会出现 因为那是"一定是"的否命题 03/23 06:59
2F：→ hirabbitt:我那句是逆否 03/23 06:59
3F：→ hirabbitt:最後一句 没错 但重点是当[前面为假]时 03/23 07:00
4F：→ hirabbitt:後面会变得[不确定真假] 但整句还是真的 03/23 07:00
5F：→ hirabbitt:(f->f) is t (f->t) is t 这样 03/23 07:01