作者MathTurtle (恩典)
看板logic
标题Re: [请益] 一题命题逻辑的翻译
时间Sat Feb 20 16:10:13 2010
※ 引述《rioet ()》之铭言:
: 题目是:
: 如果张三考上大学,则李四也考上;否则的话,他们两个人都考不上。
: (以P Q 分别代表张三 李四考上)
: 当初助教批改的答案是
: (P → Q)^ (~ P → ~ Q)
: 现在有点不知道为什麽要这样写,也不确定是不是唯一解
: 我在想那个「否则的话」究竟是要否哪个东西
: 是指「张三没考上呢」还是否定掉「如果张三考上大学,则李四也考上」这段
: 另外我也在想,不知道「否则」可不可以用 (AvB) ^ ~(A^B) 这种写法表示
: 想请问一下大家会怎麽写这一题!
: 十分感激!
「否则」(otherwise)通常你可以直接写成 if not,
而如果前一句是肯定句, 例如: 「他生病了, 否则的话, 他会来」,
那麽比较自然的翻法是否定前面一整句, 即: 「他生病了, 若他没生病, 他会来」
而如果前一句是条件句, 例如:「如果张三考上大学, 则..., 否则的话, 则...」,
比较自然的读法是否定前一句的条件,
即:「如果张三考上了, 则..., 如果张三没考上, 则...」。
另外, 这一题我比较倾向这样翻:
(P -> Q) & (~P -> (~P&~Q))
虽然和你们助教给的答案逻辑上是等价的, 我觉得比较能反映原句的结构。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 81.107.38.67