论文部分内容阅读
在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的.
二值命题逻辑中公式列的收敛性
【摘 要】
：
在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明
【机 构】
：
兰州理工大学理学院
【出 处】
：
兰州理工大学学报
【发表日期】
：
2016年4期
【基金项目】
：
国家自然科学基金（11261032）
其他文献
艺术是一个民族的美学纪念碑。影视艺术也是如此。影视艺术不仅是科技的产物。也同样属于艺术。在艺术表现、艺术风格和审美价值取向等方面。影视艺术都形成了自己的特点，在审美能力的培养、审美境界的提高等方面也发挥着积极的作用。
20世纪60、70年代，现象学和符号学几乎不约而同地得出一个结论：在文学艺术的欣赏过程中，“作者”已经“死”了。对现象学文艺理论家来说，艺术作品只有到了阅读和欣赏阶段，才算正式
<正>For packet-based transmission of data over a network, or temporary sensor failure, etc., data samples may be missing in the measured signals. This paper dea
对于本体姿态受控而位置不受控的空间机械臂系统,考虑存在参数不确定性及非参数不确定性,首先建立了系统的估计模型,并且提出了一种鲁棒复合自适应控制方法,其参数适应律由估
20世纪90年代以来，以信息技术为主导、以网络为基础、以全球化为支撑的新的知识型经济形态的演进，科技与文化的融合使文化产业的竞争力和精神控制力在综合国力和城市竞争中地位
适应州反馈的稳定为在的高顺序的随机的非线性的系统的一个类被调查函数 fi 的上面的界限(?? 铄吗？？