离散数学 课件 1.5联结词全功能集.ppt

*1.5联结词全功能集联结词全功能集与非联结词,或非联结词*联结词的全功能集定义设S是一个联结词集合,如果任何n(n?1)元真值函数都可以由仅含S中的联结词构成的公式表示,则称S是联结词全功能集.说明:若S是联结词全功能集,则任何命题公式都可用S中的联结词表示.设S1,S2是两个联结词集合,且S1?S2.若S1是全功能集,则S2也是全功能集.反之,若S2不是全功能集,则S1也不是全功能集.*联结词全功能集实例定理{?,∧,∨}、{?,∧}、{?,∨}、{?,→}都是联结词全功能集.证明每一个真值函数都可以用一个主析

文档评论(0)

1亿VIP精品文档

相关文档