先將簡單命題符號化
令p：今天是星期六,
q：我們到頤和園去玩,
r：我們到圓明園去玩,
s：頤和園游人太多.
前提：p→(q∨r),s→┐q,p,s
結(jié)論：r
證明：①p→(q∨r) 前提引入
②p 前提引入
③q∨r ①②假言推理
④s→┐q 前提引入
⑤s 前提引入
⑥┐q ④⑤假言推理
⑦r ③⑥析取三段論不好意思 因為我是一點也不懂 考試的時候我就這樣寫就行嗎可以不過提醒你一下既然是學計算機的，那么最好還是要學好離散數(shù)學，因為這個是根本。