在自然推理系统P中构造下面推理的证明。
(1)如果今天是星期六,我们就要到颐和园或圆明园去玩,如果颐和园游人太多,我们就不去颐和园玩,今天是星期六,颐和园游人太多,所以我们去圆明园玩。
(2)如果小王是理科学生,他的数学成绩一定很好,如果小王不是文科生,他必是理科生,小王的数学成绩不好所以小王是文科学生
(3)明天是晴天,或是雨天;若明天是晴天,我就去看电影;若我看电影,我就不看书,所以,如果我看书,则明天是雨天
在自然推理系统中,构造下面用自然语言描述的推理。火车都比汽车快,汽车都比轮船快,a是火车,b是汽车,c是轮船。所以,a比b快,b比c快。
B、《几何原本》的诞生,标志着几何学已成为一个有着比较严密的理论系统和科学方法的学科。并且《几何原本》中的命题1.47.证明了是欧几里德最先发现的勾股定理,从而说明了欧洲是最早发现勾股定理的大洲
C、关于几何论证的方法,欧几里得提出了分析法。综合法和归谬法。所谓分析法就是先假设所要求的已经得到了,分析这时候成立的条件,由此达到证明的步骤;综合法是从以前证明过的事实开始,逐步的导出要证明的事项:归谬法是在保留命题的假设下,否定结论,从结论的反面出发,由此导出和已证明过的事实相矛盾或和已知条件相矛盾的结果,从而证实原来命题的结论是正确的,也称作反证法
D、作为教材的影响,从欧几里得发表《几何原本》到现在,已经过去了两千多年,尽管科学技术日新月异,由于欧氏几何具有鲜明的直观性和有着严密的逻辑演绎方法相结合的特点,在长期的实践中表明,它已成为培养、提高青少年逻辑思维能力的好教材。历史上不知有多少科学家从学习几何中得到益处从而作出了伟大的贡献