在自然推理系统P中,构造下面推理的证明.小王学过英语或日语.如果小王学过英语,则他去过英国;如果他去过英国,他也去过日本,所以小王学过日语或去过日本.
举一反三
- 判断下面推理是否正确,并证明之(方法不限)如果王红学过英语和法语,则她也学过日语.可她没学过日语,但学过法语.所以,她也没学过英语;
- 在自然推理系统P中构造下面各椎理的证明:如果小王是理科学生,则他的数学成绩一定很好,如果小王不是文科生,他一定是理科生,小王的数学成绩不好,所以小王是文科学生.
- 在自然推理系统 [tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex] 中构造下列推理的证明.[br][/br]如果小王是理科生,则他的数学成绩―定很好.如果小王不是文科生,他一定是理科生.小王的数学成绩不好.所以小王是文科生.
- “我跟他去过”,这句话的含义可能是()。 A: 我和他都去过 B: 我去过,他没去过 C: 我曾经跟他去过 D: 我跟着他去过 E: 他带着我去过
- 某班老师发现该班的学生去过不少国家,视野非常开阔。通过调查发现:有些去过新西兰的学生去过德国了,有些去过新西兰的学生去过美国了,有些去过新西兰的学生去过了日本。所有去过日本的学生都没有去过德国。凡去过日本的学生也没有去过美国。 如果以上陈述为真,下面哪项关于该班学生的陈述必然为真 A: 有些去过了美国的学生没有去过新西兰。 B: 所有去过美国的学生都未去过德国。 C: 有些去过了德国的学生既没去过美国,也没有去过新西兰。 D: 有些去过了新西兰的学生既没有去过德国,也没有去过美国。 E: 所有去过新西兰的学生或去过了德国,或去过了美国,或去过了日本。