第2章 离散数学一阶逻辑练习题

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

腾讯文库第2章第2章 离散数学一阶逻辑练习题