第2章 离散数学一阶逻辑练习题
第2章 一阶逻辑一 选择填空题1、谓词公式中量词的辖域是 , 是约束变元, 是自由变元。2、若个体域为整数
第2章 离散数学一阶逻辑练习题