Question

离散数学的问题，指出下列表达式中的自由变量和约束变量，并指明量词的作用域：

Answer 1

（1）(∀xP(x)∧∃xQ(x))∨(∀xP(x)→Q(y))
3个x都是约束变量，y为自由变量
第一个∀x的作用域是第一个P(x)
第2个∀x的作用域是第2个P(x)
∃x的作用域是Q(x)

（2）x,y,z都是约束变量
（3）x,y是约束变量，z为自由变量
（4）A(x)中的x是约束变量，B(x,y)中的x是自由变量，y是约束变量
（5）F(x)中的x是约束变量
G(x,y,z)中的y是约束变量，x,z是自由变量
H(x,y,z)中的z是约束变量，x,y是自由变量

不懂请追问，有帮助请采纳，谢谢！