2.3.2子句集
文字
：不含任何连接词的谓词公式。
子句
：一些文字的析取（谓词的和）。
子句集
：所有子句的集合