Skolemized形式

一个公式一阶逻辑据说是斯科勒化形式（有时也称为斯科勒标准形式或通用形式）如果是的话表单的

哪里是中的无量词公式连接的标准形称为所讨论公式的矩阵。自是一个结合属于条款每个都是一个分离属于字面量,通常被视为一组子句。将公式转换为Skolemization形式的过程称为Skole mization。