离散数学(一阶逻辑)