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