二、联结词的完备集 　　由于可定义的联结词的数量是极大的, 需要考虑它们是否都是独立的? 也就是说这些联结词是否能相互表示呢? 　　定义: 设C是联结词的集合，如果对任一命题公式都有由C中的联结词表示出来的公式与之等值，就说C是完备的联结词集合，或说C是联结词的完备集。 　　显然全体联结词的无限集合是完备的, 而{∨}, {∨, ∧}就不是完备的。 　　定理 {, ∨, ∧}是完备的联结词集合 　　从节2.3介绍的由真值表列写逻辑公式的过程可知, 任一公式都可由, ∨, ∧表示出来, 从而{, ∨, ∧}是完备的, 一般情形下, 这定理的证明可使用数学归纳法, 施归纳于联结词的个数来论证。