离散数学—第二章一阶逻辑