Ling: Today is Saturday.

Q: Let's go to the Summer Palace.

R: Let's go to the Yuanmingyuan.

S: There are too many tourists in the Summer Palace.

Premises: p → (q ∨ r), s→┐ q, p, s.

Conclusion: r

Proof: ①p→(q∨r) premise introduction

② Introduction of P premise

③q∨r ①② Hypothetical reasoning

④ Introduction to S → ┐ Q Premise

⑤ Introduction of premises

⑥┐ Q4⑤ Hypothetical reasoning

⑦ r 36 disjunctive syllogism