EXAMPLE2 推理与证明方法 Hypotheses:(1)It is not sunny this afternoon and it is colder than yesterday.(2)we will go swimming only if it is sunny. 3)If we dont go swimming, then we will take a canoe trip. (4) If we take a canoe trip, then we will be home by sunset. Conclusion: We will be home by sunset P: It is sunny th s afternoon Q: It is colder than yesterda R: We will go swimming S: We will take a canoe trip. T: We will be home by sunset 2/24/202111:15PM Deren Chen Zhejiang univ推理与证明方法 2/24/2021 11:15 PM Deren Chen, Zhejiang Univ. 6 EXAMPLE 2 Hypotheses: (1) It is not sunny this afternoon and it is colder than yesterday. (2) We will go swimming only if it is sunny. (3) If we don’t go swimming, then we will take a canoe trip. (4) If we take a canoe trip, then we will be home by sunset. Conclusion: We will be home by sunset. P: It is sunny this afternoon. Q: It is colder than yesterday. R: We will go swimming. S: We will take a canoe trip. T: We will be home by sunset