填空題

在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的轄域，而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為（），其他變元稱為（）。

答案： 約束變元；自由變元
微信掃碼免費搜題