当前位置： 首页 > 所有资源 > 《离散数学(本)》资源 > 《离散数学(本)》题库 > 题目详情
题目内容
来源： 《离散数学(本)》历届试题 课程号:50501
[计算题]

设谓词公式(x)(A(x,y)A(Vz)B(x,y,z))A(Vy)C(y,z),试:(1)写出量词的辖域;(2)指出该公式的自由变元和约束变元

查看答案
《离散数学（本）》其他资源
在线查看题库 下载打印版题库