前束范式的概念及其转换方法

概念引入： 前束范式的概念： 一个公式，如果 量词均在全式的开头，它们的作用域延伸到整个公式的末端，则该公式叫做前束范式(Prenex Normal Form)。 前 ...