论文部分内容阅读
在n值R0命题逻辑系统中给出了公式列按真度收敛的定义，研究了公式列按度量收敛、按赋值收敛及按真度收敛的性质，给出了三种收敛各自的充分必要条件，在公式列是有限原子的条件下证明了公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的。
n值命题逻辑中公式列的收敛性
【摘 要】
：
在n值R0命题逻辑系统中给出了公式列按真度收敛的定义，研究了公式列按度量收敛、按赋值收敛及按真度收敛的性质，给出了三种收敛各自的充分必要条件，在公式列是有限原子的条件下
【机 构】
：
兰州理工大学理学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2016年22期
【基金项目】
：
国家自然科学基金(No.11261032).
其他文献
针对无人机施药时有效喷幅受到不同作业条件及外界风的影响,导致作业过程中雾滴重喷率、漏喷率变高的问题,利用雾滴密度判定法在不同高度、不同方向侧风条件下进行单旋翼无人
本文全面分析了新时期大学生特点以及实习面临的问题，结合专业培养目标，提出了工科专业生产实习由传统体力参与到智力参与的实习模式，对大学生在生产实习中参与的环节及参与程度