文章主要研究命题逻辑公式中的冗余子句和冗余文字。替换子句集中的冗余子句划分为三类：无冗余子句，相对冗余子句和绝对冗余子句，另外，得到了子句集中重复文字的等价描述，利用子句集的可满足性弥补了额外的费用。上述结果为进一步提出的新的子句集冗余性判定方法估计了一些理论基础。