1 子句
(1)文字：原子谓词公式及其否定
---*定义1:任何文字的析取式称为子句
---*定义2:不包含任何文字的子句称为空子句，空子句是永假的
(2)由子句构成的集合称为子句集，谓词公式化成子句集的步骤