5.The right-hand sides of n-ary function and predicate definition in canonical structure depend only on the $\mathbf{a_i^{\circ}}$ and not on the $\mathbf{a_i}.The right-hand sides of n-ary function and pr
阅读背景：
4.2 THE COMPLETENESS THEOREM: (5) The right-hand sides depend only on the $\mathbf{a_i^{\circ}}$ and not on the $\mathbf{a_i}$
来源：互联网
分享到：
