子句 (逻辑)

在逻辑学中，子句是一个命题公式，由有限数量的格子（原子或其否定）和逻辑连接词组成。当组成子句的至少一个标点是真的时候，或者当组成子句的所有标点都是真的时候，子句就是真的（连接词子句，这个词的一个不太常见的用法）。也就是说，它是一个有限的分割词或连接词，取决于上下文。句子通常是这样写的，其中符号l i {displaystyle l_{i}}是字面意思。

一个句子可以是空的（如从空的字词集定义）。

空结点的真值评价总是t r u e { displaystyle true} 。

每个非空（disjunctive）子句在逻辑上等同于一个头和一个体的暗示，其中头是子句的一个任意的字面，体是另一个字面的否定的联合。也就是说，如果一个真值赋值导致一个子句为真，而该子句的所有字词都不满足该子句，那么头部也必须为真。

这种等价关系在逻辑编程中常用，而且子句经常用这种形式的暗示来写。更一般地说，头部可以是一个二选一的格子。如果b 1 , …, b m {b_{1},ldots ,b_{m}}是一个子句的主体词，h 1 , …, h n {h_{1},ldots ,h_{n}}是其头部的词，该句子通常写成以下样子。

• 如果n=1，m=0，该句子被称为（Prolog）事实。
• 如果n = 1并且m > 0，该条款被称为（Prolog）规则。
• 如果n = 0并且m > 0，该子句被称为（Prolog）查询。
• 如果n > 1，该子句不再是Horn。