先将简单命题符号化
令p：今天是星期六,
q：我们到颐和园去玩,
r：我们到圆明园去玩,
s：颐和园游人太多.
前提：p→(q∨r),s→┐q,p,s
结论：r
证明：①p→(q∨r) 前提引入
②p 前提引入
③q∨r ①②假言推理
④s→┐q 前提引入
⑤s 前提引入
⑥┐q ④⑤假言推理
⑦r ③⑥析取三段论不好意思 因为我是一点也不懂 考试的时候我就这样写就行吗可以不过提醒你一下既然是学计算机的，那么最好还是要学好离散数学，因为这个是根本。