离散数学一阶逻辑练习题