证明 非 等价 不是联接词的完全集

数理逻辑中，如何证明非，等价不是连接词的完全集？

假设，是完全集

那么， 用 非 和 等价 能表示 ^

即 q^q 与 用 非和<-> 联接的 命题A等价

归纳证明：由K个 联接词，非和<-->联接的命题 值为0和值为1的命题个数相等

基本思路：

从A 最内层 是非p, p，的形式

取值 为0 和取值为1 个指派个数相等

由 <-->联接，取值为0 和取值为1 的个数也 相等

但是  p^q 取值为0和取值为1的指派个数不等，所以假设不成立

命题得证！