子句 (逻辑) 在逻辑中子句是文字的析取在命题逻辑中子句通常写做如下这里的符号 l i displaystyle li 是文字 l     l n displaystyle lvee cdots vee ln 在某些情况下子句被写为文字的集合所以上述子句将被写为  l     l n  displaystyle lldots ln 从上下文中得到提示把这个集合解释为它的元素的析取子句可以为空在这种情况下它是文字的空集空字句被指示为各种符号比如  displaystyle emptyset    displaystyle bot  或  displaystyle Box  空字句的真值求值总是 f a l s e displaystyle false  在一阶逻辑中子句是对文字的无量词析取的所有自由变量的全称量化形式上说一阶文字是 P  t     t n  displaystyle Ptldots tn 种类的公式这里的 P displaystyle P 是 n displaystyle n 元谓词而每个 t i displaystyle ti 都是可能包含变量的一个任意的项如果 L     L m displaystyle Lldots Lm 是文字而 x     x k displaystyle xldots xk 是它们的自由变量则  x     x k  L     L m displaystyle forall xldots xkLldots Lm 是子句一阶子句有时省略量词书写所以上述子句将被写为 L     L m displaystyle Lldots Lm 这种省略由文字的析取作为一个子句必须使所有变量被全称量化的事实来证实在子句是有效的或被查实有效性的情况下这个全称量化也暗含了这个语义但是满足性定义假定了自由变量要被存在量化所以这种量词省略被接受为约定而不是如何处理自由变量的语义的结论 在逻辑编程中子句通常被写为从体部到头部的蕴涵在最简单的情况下体部是文字的合取而头部是一个单一的文字更一般的头部必须是文字的析取如果 b     b m displaystyle bldots bm 是在子句体中的文字而 h     h n displaystyle hldots hn 是子句头中的文字则子句通常写为 h     h n   b     b m displaystyle hldots hnbldots bm