习题(第二章一阶逻辑)080923