如果结果不匹配，请 
更多“指出下列公式中的指导变元，量词的辖域，各个体变项的自由出现和…”相关的问题
第2题
关于谓词逻辑，下列描述不正确的是（)
A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C.仅个体变元被量化的谓词成为一阶谓词
D.个体变元、函数符号和谓词符号都被量化的谓词成为多阶谓词
第3题
关于谓词逻辑，下列描述正确的是（）。
A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C.仅个体变元被量化的谓词成为一阶谓词
D.个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
的前束范式，因为公式中的两个量词的指导变元相同。他的理由对吗？为什么？
第8题
一个公式，如果量词都非否定地放在全式的开头，没有括号将它们彼此隔开，而它们的辖域都延伸到整
个公式，则称这样的公式为前束范式。应用改名规则、量词否定公式和量词辖域的扩张公式等，可把任一谓词演算公式化成前束范式。例如：
点击查看答案
试将下列各式化成前束范式：
