Question

离散数学数理逻辑题

在P系统中构造下面推理的证明： P125
如果今天是周六，我们就到颐和园或圆明园玩. 如果颐和园游人太多，就不去颐和园. 今天是周六，并且颐和园游人太多. 所以我们去圆明园或动物园玩.

Answer 1

你好！
先将简单命题符号化
令p：今天是星期六，
q：我们到颐和园去玩，
r：我们到圆明园去玩，
s：颐和园游人太多。

前提：p→(q∨r)，s→┐q,p,s
结论：r

证明：①p→(q∨r) 前提引入
②p 前提引入
③q∨r ①②假言推理
④s→┐q 前提引入
⑤s 前提引入
⑥┐q ④⑤假言推理
⑦r ③⑥析取三段论

追问

不好意思 因为我是一点也不懂 考试的时候我就这样写就行吗

追答

可以
不过提醒你一下既然是学计算机的，那么最好还是要学好离散数学，因为这个是根本。