离散数学

云南开放大学离散数学第三次离线作业

离散数学第三次离线作业1.在一阶逻辑中将下列命题符号化(1)有的人天天锻炼身体;(2)有的火车比有的汽车快;2.指出下列公式中的指导变元,量词的辖域,各个体变项的自由出现和约束出现