论文部分内容阅读
在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的.
二值命题逻辑中公式列的收敛性
【摘 要】
：
在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明
【机 构】
：
兰州理工大学理学院
【出 处】
：
兰州理工大学学报
【发表日期】
：
2016年4期
【基金项目】
：
国家自然科学基金（11261032）
其他文献
20世纪60、70年代，现象学和符号学几乎不约而同地得出一个结论：在文学艺术的欣赏过程中，“作者”已经“死”了。对现象学文艺理论家来说，艺术作品只有到了阅读和欣赏阶段，才算正式
20世纪90年代以来，以信息技术为主导、以网络为基础、以全球化为支撑的新的知识型经济形态的演进，科技与文化的融合使文化产业的竞争力和精神控制力在综合国力和城市竞争中地位