定义3.4.1 谓词逻辑中公式G称为前束范式,如果G有如下形状：
Q1x1…QnxnM
其中 Qixi或者是"xi,或者是$xi,i=1,…,n,M是不含量词的公式,Q1x1…Qnxn称为首标,M称为母式.
例如,"x"y$z(P(x,y)®Q(x,z))
$x$y$zP(x,y,z)
等等,就是前束范式.
定义3.4.1 谓词逻辑中公式G称为前束范式,如果G有如下形状：
Q1x1…QnxnM
其中 Qixi或者是"xi,或者是$xi,i=1,…,n,M是不含量词的公式,Q1x1…Qnxn称为首标,M称为母式.
例如,"x"y$z(P(x,y)®Q(x,z))
$x$y$zP(x,y,z)
等等,就是前束范式.