斯柯倫正規化

如果一個一階邏輯公式是如下形式，則稱其為斯柯倫正規化（有時也稱為斯柯倫標準型或全稱型）

其中 是一個合取正規化的無量詞公式，被稱為所討論公式的矩陣。由於 是合取的子句，而每個子句又是析取的文字，因此 通常被視為子句的集合。將公式置於斯柯倫正規化的過程稱為斯柯倫化。