填空題

在一個量詞的轄域中與該量詞的指導變元相同的變元稱為（）變元，其他變元稱為（）變元。

答案：約束；自由

你可能感興趣的試題

在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的（）。

答案：轄域

從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是（）。

答案：正向推理