论文部分内容阅读
在Lukasiewicz命题逻辑系统中研究了一组公式的全发散性,明确了相容公式集可以是全发散的.得到了公式集不相容的充要条件.给出了发散度单调下降收敛于0的公式序列.
Lukasiewicz命题集的发散性与相容性
【摘 要】
：
在Lukasiewicz命题逻辑系统中研究了一组公式的全发散性,明确了相容公式集可以是全发散的.得到了公式集不相容的充要条件.给出了发散度单调下降收敛于0的公式序列.
【机 构】
：
陕西师范大学数学研究所
【出 处】
：
工程数学学报
【发表日期】
：
2003年3期
【基金项目】
：
国家自然科学基金
其他文献
加大高校图书馆文检课的教学力度强化大学生情报意识与能力培养赖桂芳（广东民族学院图书馆５１０６３３）一在当今大学毕业生择业的人才交流市场中，大学生有没有学过文献信息检索与利用，具备不
展会时间:2018-09-19至2018-09-21展会地点:上海新国际博览中心展会介绍:中国国际胶粘剂及密封剂展暨中国国际胶粘带与标签展是全球胶粘行业仅有的以胶粘剂、密封剂、胶粘带
期刊
在考虑多孔介质中不可压缩二相混溶驱动问题时,在井口处应用点源和点汇,给出了点源和点汇的混溶驱动问题的数学模型,提出并分析了一类特征Galerkin全离散格式.由于本文考虑在
<正>隐形眼镜变屏幕新涂层可以实现还记得电影碟中谍当中那个神器的隐形眼镜么,眨眼可以拍照,当作显示屏使用!现在这个技术即将被实现,只不过暂时是隐形眼镜当作屏幕部分,至
重视提高读者利用图书馆的水平周世辟（广东民族学院图书馆）文献资源和读者是图书馆的两大要素，是图书馆存在的基础。读者作为文献资源作用的客体，是图书馆活动中最重要、最活跃的
研究具有连续分布偏差变元的非线性中立型抛物偏泛函微分方程系统,获得了系统解的强迫振动的充分条件.
实行新的“科学技术成果鉴定办法”后，如何继续深化查新咨询工作，是实践和现时迫切需要解决的课题。本文结合查新咨询工作的特点，在查新咨询的基础上提出一种科学的咨询方法。其
首先讨论了矩阵幂展开式的性质,然后给出了半群可被嵌入的条件及如何构造嵌入的连续参数Markov过程.