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

万小龙

首页> 中文期刊> 《安徽大学学报：哲学社会科学版》 >经典逻辑命题联结词的泛函分析初探——一元算符是否可能穷尽?

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《安徽大学学报：哲学社会科学版》 |2011年第6期|29-38|共10页
作者
万小龙;
展开▼
作者单位

华中科技大学哲学系;

展开▼
原文格式 PDF
正文语种 chi
中图分类哲理逻辑（非经典逻辑）;
关键词
反真值函数; 蕴涵为真; 辩证否定算符; 量子逻辑; 一元算符逻辑;

相似文献

中文文献
外文文献
专利

1. "绿色"是否可能?——关于"绿色收视率"命题的理性思考 [J] . 王春玲 ,李云雅 . 新闻爱好者 . 2008,第009期
2. 从对一个经典逻辑命题的质疑谈起——兼谈语词、涵义与指称之间的关系 [C] . 王健平 . 第二届两岸逻辑教学学术会议 . 2006
3. 泛函分析基础命题的改进 [A] . 钟书慧 . 2009

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

摘要

著录项

相似文献

相关主题

期刊订阅