故 2分
?x只能为0和2，且0?1?0,2?1?2 1分 4、
1）表达式树：
6分
2）前序遍历：????a?bcde?fg 2分 3）后序遍历：abc??d?e?fg?? 2分
五、证明题（每题10分，共20分） 1、 证明：
①q 否定前提引入 1分 ②?r?s 前提引入 1分 ③?s 前提引入 1分 ④?r ②③析取三段论 1分 ⑤(p?q)?r 前提引入 1分 ⑥?(p?q) ④⑤拒取式 1分 ⑦?p??q ⑥置换 1分
?? ? e f ? ? a bd g ? c 第 6 页 共 7 页
⑧p 前提引入 1分 ⑨?q ⑦⑧析取三段论 1分 ⑩0 ⑧⑨合取 1分 2、证： 由(a?b)2?a2?b2 2分 得：a?b?a?b?a?a?b?b 3分 根据群中的消去律得b?a?a?b 3即a?b?b?a 2第 7 页 共 7 页分 分