在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元

在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。

将量词辖域中出现的约束变元和指导变元交换为另一变元符号，公式其余部分不变，这种方法称为换名规则。

指出下列各式的自由变元和约束变元，并确定量词的辖域。 (1)($x)(P(x)∧R(x)∧S(x))®("x)(P(x)∧Q(x)) (2)("x)("y)(P(x, y)∧Q(y, z))∧($x)P(x, y)

x P(x)∧yQ(x,y)整个谓词公式中只有一个量词。x的辖域为P(x),P(x)中的x和Q(x,y) 中的y是约束变元,Q(x,y)中的x是自由变元()

公式中自由变元为()约束变元为().

歌剧、芭蕾舞剧院、音乐厅规定迟到者要()才能进场,这期间只能在场外的闭路电视中看演出

黑色的皮鞋要配()色的袜子

飞机上的座椅可调整,但应考虑(),突然放下座椅靠背,或突然推回原位,或跷起二郎腿摇摆颤动,都会引起他人的反感