子句集（關于子句集介紹）

大家好,小耀來為大家解答以上的問題。子句集，關于子句集介紹這個很多人還不知道,現在讓我們一起來看看吧！

1、 沒有變元(或變元被其定義域的元素普遍賦值后)的原子公式，即基礎原子公式，簡稱“基原子”。

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

3、不包含變元(或變元被其定義域的元素普遍賦值后) 的文字即基礎文字(基文字)。

4、文字以及它們的析取，都稱為子句，由子句構成的集合即子句集?。

本文到此分享完畢，希望對大家有所幫助。