在逻辑中，子句是文字的析取，在命题逻辑中，子句通常写做如下，这里的符号 formula_1是文字:在某些情况下，子句被写为文字的集合，所以上述子句将被写为 formula_3。从上下文中得到提示把这个集合解释为它的元素的析取。子句可以为空；在这种情况下，它是文字的空集。空字句被指示为各种符号比如 formula_4、formula_5 或 formula_6。空字句的真值求值总是 formula_7。在一阶逻辑中，子句是对文字的无量词析取的所有自由变量的全称量化。形式上说，一阶文字是 formula