离散数学第三次离线作业
1.在一阶逻辑中将下列命题符号化
（1）有的人天天锻炼身体；
（2）有的火车比有的汽车快；
2.指出下列公式中的指导变元，量词的辖域，各个体变项的自由出现和约束出现
点点赞赏，手留余香
给TA打赏
离散数学第三次离线作业
1.在一阶逻辑中将下列命题符号化
（1）有的人天天锻炼身体；
（2）有的火车比有的汽车快；
2.指出下列公式中的指导变元，量词的辖域，各个体变项的自由出现和约束出现
评论0