⑧ ⑦EG
2.17 构造下面推理的证明。
（1）前提： ，
。
结论：
（2）前提： 。
结论： 。
2.18 在一阶逻辑中构造下面推理的证明。
大熊猫都产在中国，欢欢是大熊猫，所以，欢欢产在中国。、
2.19 在一阶逻辑中构造下面推理的证明。
有理数都是实数，有的有理数的整数。因此，有的实数是整数。
题2.20~2.23为填充题。题目要求是从供选择的答案中选出应填入叙述中的□内的正确答案。
2.20 取个体域为整数集，给定下列各公式。
（1） ；
（2）
（3）
（4） ；
（5） ；
（6） ；
（7）
（8） 。
在上面公式中，真命题的为A，假命题的为B。
供选择的答案
A：①（1），（3），（4），（6）；
②（3），（4），（5）；
③（1），（3），（4），（5）；
④（3），（4），（6），（7）。
B：①（2），（3），（6）；
②（2），（6），（8）；
③（1），（2），（6），（7）；
④（2），（6），（8），（7）。
2.21 给定下列各公式。
（1） ；
（2） ；
（3） 。
A是（1）的前束范式，B是（2）的前束范式，C是（3）的前束范式。
答案不止一个的，请全部给出来。
供选择的答案：
A，B，C，D：
① ；
② ；
③ ；
④ ；
⑤ ；
⑥ ；
⑦ ；
⑧ ；
⑨ 。
2.22 在一阶逻辑中给出下面4个推理。
（1）前提： 。
结论： 。
（2） 前提： 。
结论： 。
（3）前提： 。
结论： 。
（4）前提： 。
结论： 。
在以上4个推理中，A是正确的。
供选择的答案
A：①（1），（2），（3）；
②（1），（2），（3），（4）；
③（2），（3）；
④（1），（2）；
⑤（1），（4）。
2.23 在一阶逻辑中构造下面推理的证明。
每个喜欢步行的人都不喜欢坐汽车，每个人或者喜欢坐汽车或者喜欢骑自行车，有的人不喜欢骑自行车，因而有的人不喜欢步行。
命题符号化： ； 喜欢步行。 ： 喜欢坐汽车。 喜欢自骑自行车。
前提： ，
。
结论：
证明：
（a） 前提引入
（b）
（c） 前提引入
（d）
（e）
（f） 前提引入
（g） （f）UI
（h）
（i） （h）EG
在上述推理中，(b)后用的推理规则为A，(d)后用的推理规则为B，(e)后用的是由（b）（d）得到的推理规则C，(h)后用的是由（e）（g）得到的推理规则D。
供选择的答案：
A，B，C，D：①UI；②EI；③UG；④EG；⑤拒取式；⑥假言推理；⑦析取三段论。
