1.6 Adequate sets of operations
通过给定的论断,能构建多少新的论断?是否存在新的逻辑关系无法用conjunction、disjunction、denial、implication来表述?
对于n个自变量,分别可以取对错两种数值,所以自变量参数空间有M=2n个点。在这些点上,不同的函数可以分别取对错两种数值,因此得到了2M个函数。
具体举例,一维、二维等等。
三种操作{conjunction, disjunction,negation} 也就是{AND,OR,NOT}构成完备集。实际上,由对偶性可知(AND,NOT)两种操作已经完备了。