子句集（关于子句集介绍）

大家好,小耀来为大家解答以上的问题。子句集，关于子句集介绍这个很多人还不知道,现在让我们一起来看看吧！

1、 没有变元(或变元被其定义域的元素普遍赋值后)的原子公式，即基础原子公式，简称“基原子”。

2、原子公式以及它的否定形式都是文字。

3、不包含变元(或变元被其定义域的元素普遍赋值后) 的文字即基础文字(基文字)。

4、文字以及它们的析取，都称为子句，由子句构成的集合即子句集 。

本文到此分享完毕，希望对大家有所帮助。