先将简单命题符号化

　　令p：今天是星期六,

　　q：我们到颐和园去玩,

　　r：我们到圆明园去玩,

　　s：颐和园游人太多.

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

　　结论：r

　　证明：①p→(q∨r)前提引入

　　②p前提引入

　　③q∨r①②假言推理

　　④s→┐q前提引入

　　⑤s前提引入

　　⑥┐q④⑤假言推理

　　⑦r③⑥析取三段论

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

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