∑n公式

现代逻辑用语。令■为前束范式，如果其量词以全称、存在分组有n组交叉出现，并且最前面的量词为全称量词，则称■为■n公式；如果最前面的量词为存在量词，则称■为∑n公式。∏n公式（∏nformulae）见“∑n公式”。