%0 Journal Article
%T 经典逻辑命题联结词的泛函分析初探――一元算符是否可能穷尽？
%A 万小龙
%J 安徽大学学报(哲学社会科学版)
%P 29-39
%D 2011
%X 如果视“一元算符”为“二元函数为真的反真值函数式”，那么可以从原子命题递归地得到16个一元算符；如果视“蕴涵为真”等价于一种“推理有效”，那么由于{┑，→}的函数完全性，可以从“蕴涵为真的反真值函数”定义相应的其他15个直观的算符并且{┑，∧，H4}是完全集。尽管完备的一元算符理论还有待进一步探索，但至少说明作为泛函的反真值函数并非不可能用真值表判定，而且已经能尝试地判定一些问题。
%K 蕴涵为真
%K 辩证否定算符
%K 量子逻辑
%K 一元算符逻辑
%U http://ahdxzsb.paperopen.com/oa/DArticle.aspx?type=view&id=201100605