问答题

简答题 指出公式∀x∀y(R(x,y)∨L(y,z))∧ヨxH(x,y)中量词的每次出现辖域,并指出变元的每次出现是约束出现,还是自由出现,以及公式的约束变元和自由变元。

【参考答案】