如果一文字包 含一否定符号（学），将其称为负文字（negative literal ），否则为正文字（positive literal）。 一个子句（clause）是多个文字的任意析取，其中所有的变量假定为全称量化的。
基于8个网页-相关网页
...叫做肯定文字（ p o s i t i v e l i t e r a l）），或者是一个原子的否定（在这种情况下，它叫做否定文字（ negative literal））。一 个子句是一个文字的集合。
基于8个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress