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