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

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