创建自己的小题库
搜索
【简答题】
F28 — F47 （一）（二）（三）（四）（五）
手机使用
分享
复制链接
新浪微博
分享QQ
微信扫一扫
反馈
收藏
举报参考答案：
举一反三
【多选题】已知谓词公式(∀x)(存在量词z)(F(x, y)→Q(z,x))∨P(x,y),说法正确的是
A.
F(x,y)中的x和y都是约束变元
B.
Q(z,x)中的z和x都是约束变元
C.
全称量词的辖域为(存在量词z)(F(x, y)→Q(z,x))∨P(x,y)
D.
存在量词的辖域为(F(x, y)→Q(z,x))
E.
P(x,y)中x是约束变元，y是自由变元
相关题目：
【多选题】已知谓词公式(∀x)(存在量词z)(F(x, y)→Q(z,x))∨P(x,y),说法正确的是
A.
F(x,y)中的x和y都是约束变元
B.
Q(z,x)中的z和x都是约束变元
C.
全称量词的辖域为(存在量词z)(F(x, y)→Q(z,x))∨P(x,y)
D.
存在量词的辖域为(F(x, y)→Q(z,x))
E.
P(x,y)中x是约束变元，y是自由变元
参考解析：
AI解析
重新生成
题目纠错 0
发布
