作者rioet ()
看板logic
標題[請益] 一題命題邏輯的翻譯
時間Sat Feb 20 14:21:07 2010
題目是：
如果張三考上大學，則李四也考上；否則的話，他們兩個人都考不上。
(以P Q 分別代表張三 李四考上)
當初助教批改的答案是
（P → Q）^ (~ P → ~ Q)
現在有點不知道為什麼要這樣寫，也不確定是不是唯一解
我在想那個「否則的話」究竟是要否哪個東西
是指「張三沒考上呢」還是否定掉「如果張三考上大學，則李四也考上」這段
另外我也在想，不知道「否則」可不可以用 (AvB) ^ ~(A^B) 這種寫法表示
想請問一下大家會怎麼寫這一題！
十分感激!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 58.114.203.87
※ 編輯: rioet 來自: 58.114.203.87 (02/20 14:27)
1F：推 bagaqq:按照答案 題目的意思應該是 如果張三考上 則李四也考上 且 02/20 14:32
2F：→ bagaqq:如果張三沒考上 則李四也不會考上 02/20 14:33
3F：→ bagaqq:所以那個"否則的話" 應該是就"張三考上"而言 02/20 14:35