在自然推理系统 [tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex] 中构造下列推理的证明.[br][/br]如果小王是理科生,则他的数学成绩―定很好.如果小王不是文科生,他一定是理科生.小王的数学成绩不好.所以小王是文科生.
举一反三
- 在自然推理系统P中构造下面各椎理的证明：如果小王是理科学生，则他的数学成绩一定很好，如果小王不是文科生，他一定是理科生，小王的数学成绩不好，所以小王是文科学生.
- 证明下列推理是有效的:前提:每个非文科一年级学生都有辅导员;小王是一年级学生;小王是理科生;凡小王的辅导员都是理科生;所有理科生都不是文科生.结论:至少有一个不是文科生的辅导员.
- 判断下述推理是否正确，并证明你的结论。 如果他是理科生，他必学好数学。如果他不是文科生，他必是理科生。他没学好数学，所以他是文科生
- 在自然推理系统P中，构造下面推理的证明．如果李淑敏是理科生，她一定学微积分；如果她不是文科学生，她一定是理科学生．她没学微积分，所以她是文科生．
- 你高中是文科生还是理科生() A: 文科 B: 理科