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