5.2.1子句集 定义1原子谓词公式及其否定称为文字, 若千个文字的一个析取式称为一个子句,由r 个文字组成的子句叫r文字子句,1文字子 句叫单元子句,不含任何文字的子句称为空子 句,记为或NIL。 例 PVOV-R P(x,y)V-o(x)5.2.1 子句集 定义1 原子谓词公式及其否定称为文字， 若干个文字的一个析取式称为一个子句，由r 个文字组成的子句叫r—文字子句，1—文字子 句叫单元子句，不含任何文字的子句称为空子 句，记为或NIL。 例： P∨Q∨﹁R P(x,y)∨﹁ Q(x)