经典逻辑命题联结词的泛函分析初探――一元算符是否可能穷尽？

如果视“一元算符”为“二元函数为真的反真值函数式”，那么可以从原子命题递归地得到16个一元算符；如果视“蕴涵为真”等价于一种“推理有效”，那么由于{┑，→}的函数完全性，可以从“蕴涵为真的反真值函数”定义相应的其他15个直观的算符并且{┑，∧，H4}是完全集。尽管完备的一元算符理论还有待进一步探索，但至少说明作为泛函的反真值函数并非不可能用真值表判定，而且已经能尝试地判定一些问题。