功能完整性解释

时间:2013-10-30 08:05:16

标签: logic

我很难掌握“功能完整性”的含义。

连接词{连词,分离和否定}的集合是否是功能完整的唯一集合?

1 个答案:

答案 0 :(得分:2)

功能完整的逻辑连接符集是一种可用于通过将集合成员组合成布尔表达式来表达所有可能的真值表的逻辑连接符。 {conc,disjunction,negation}不是唯一功能完整的集合。 {conjunction,negation}本身可以形成一个功能完整的集合。 你知道{和,或者不是}({连词,分离,否定})在功能上是完整的。现在可以用

替换任何析取的实例
p V q <=> ¬(¬p∧¬q)

这意味着单独的连接和分离可以表达所有可能的真值表。