离散数学(第二章)方案.ppt

§1.5 联结词的完备集 联结词完备集 定义：一个联结词集合，若对于任何一个公式均可以用该集合中的联结词来表示或等值表示，就称为联结词完备集。 如果该集合任意去掉一个联结词，就不再具备这种特性，就称为最小完备集。 定理：{┐,∧,∨}是联结词完备集。 推论：{┐,∧,∨,→}，{┐,∧,∨,→,?}， 等都是联结词完备集。 §1.5 联结词的完备集 * 因为p∨q ? ┐（┐p∧┐q） p∧q ? ┐（┐p∨┐q） p∨q ? ┐p → q p∧q ? ┐（p → ┐q） 推论：{┐、∧}、{┐、∨}、{┐、→}是联结词完备集，并且是最小联结词完备集。 §1.5 联结词的完备集 {┐，?}是否是完备集？ 可以证明任何一个仅含“?”和“┐”的二元命题合式公式真值中有1和0 的个数都是偶数的。 不是 §1.5 联结词的完备集 {∧ ， ∨ ，→ ，?}不是完备集 （只需证明┐p无法由仅含此联结词集中的联结词的公式表示即可 ） 总取0值的真值函数不能由只含此联结词集中的联结词的命题形式来表示。因为这样的命题形式在其中的命题变元都取1时也取值1, 而不为0. {∧}，{∨}，{?}，{→}，{?}都不是完备集 §1.5 联结词的完备集 设p、q为二命题，复合命题“p与q的否定”称为