作者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