ormula_3。从上下文中得到提示把这个集合解释为它的元素的析取。子句可以为空；在这种情况下，它是文字的空集。空字句被指示为各种符号比如 formula_4、formula_5 或 formula_6。空字句的真值求值总是 formula_7。在一阶逻辑中，子句是对文字的无量词析取的所有自由变量的全称量化。形式上说，一阶文字是 formula_8 种类的公式，这里的 formula_9 是 formula_10 元谓词而每个 formula_11 都是可能包含变量的一个任意的项。如果formula_1