在自然推理系统中,构造用自然语言描述的推理的证明。
1.实数不是有理数就是无理数。无理数都不是分数。所以,若有分数,则必有有理数(个体为实数集R)。
2.人都喜欢吃蔬菜。但不是所有的人都喜欢吃鱼。所以,存在喜欢吃蔬菜而不喜欢吃鱼的。
第2题
第4题
(1)如果今天是星期六,我们就要到颐和园或圆明园去玩,如果颐和园游人太多,我们就不去颐和园玩,今天是星期六,颐和园游人太多,所以我们去圆明园玩。
(2)如果小王是理科学生,他的数学成绩一定很好,如果小王不是文科生,他必是理科生,小王的数学成绩不好所以小王是文科学生
(3)明天是晴天,或是雨天;若明天是晴天,我就去看电影;若我看电影,我就不看书,所以,如果我看书,则明天是雨天
第6题
(1)若一个数为整数,则它为有理数;若一个数为有理数,则它是实数;有一个数为整数,所以它为实数.
(2)若一个数是实数,则它是复数;若一个数是虚数,则它也是复数;一个数既不是实数,又不是虚数,所以它不是复数.
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!