斯柯伦范式

如果一个一阶逻辑公式是如下形式，则称其为斯柯伦范式（有时也称为斯柯伦标准型或全称型）

其中 是一个合取范式的无量词公式，被称为所讨论公式的矩阵。由于 是合取的子句，而每个子句又是析取的文字，因此 通常被视为子句的集合。将公式置于斯柯伦范式的过程称为斯柯伦化。