论文部分内容阅读
研究了命题演算系统(ζ)*中一类特殊理论--Boole型理论的内部结构.从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件.利用Boole型理论在全体公式集F(S)中引入了同余关系,证明了商代数是Boole代数,并找到了TH(L)为最小的Boole型闭理论.
命题演算系统(ζ)*中的Boole型理论
【摘 要】
：
研究了命题演算系统(ζ)*中一类特殊理论--Boole型理论的内部结构.从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件.利用Boole型理论在全体公式集F(S)中
【机 构】
：
陕西师范大学
【出 处】
：
陕西师范大学学报（自然科学版）
【发表日期】
：
2004年期
【基金项目】
：
国家自然科学基金;
其他文献
以正戊醇为稀释剂,考察了盐酸胍与溴化十六烷基吡啶总浓度为0.06 mol/L时,体系对Au(Ⅰ)的协萃效应.结果表明,在整个浓度组成范围内均有协萃效应(协萃效应系数R>1),且有机相中
对改进中的航空电源系统进行可靠性评估,本文引入继承因子利用信息融合的原理将改进前与改进后的历史信息融合为一个混合先验,并进一步假定继承因子为随机变量采用多层Bayes
研究离散纵标动态中子输运方程迭代求解时,迭代初值的不同选取方法,设计合理的迭代初值可以适当放宽对时间步长的限制,缩短计算时间.设计四种迭代初值并应用于数值求解中的等比格式和菱形格式,其中等比格式形成非线性离散方程,菱形格式形成线性离散方程.考察不同迭代初值的计算效率,分别对物理量变化平缓以及变化剧烈的问题进行考察.数值算例表明构造的基于物理量随时间走势的预估值作为迭代初值优势明显,这在保证计算精度
对抛物问题的全离散格式采用Mortar型有限元逼近,构造了相应的瀑布型多重网格法,证明了该方法的最优性.
为了制备出高电催化活性的电催化剂,以提高锌空气电池的放电电流密度,采用溶胶-凝胶法制备了尖晶石型电催化剂LiNixNn2-xO4(x＝0,0.1,0.2,0.3,0.4,0.5).通过X射线衍射(XRD)、稳
目的 对目前临床上应用较多的6种肘关节评分标准进行比较,为临床肘关节术后评分标准的选择提供理论依据.方法 选择北京大学人民医院创伤骨科2004年1月-2006年8月收治的31例肱
对于部分线性变系数模型附有约束条件时的估计与检验问题，基于Profile最小二乘方法给出了参数部分以及非参数部分的约束估计并研究了它们的渐近性质，并针对约束条件构造了Profi
为了提高测土配方施肥中土壤测试的工作效率和测试数据采集、处理的准确性,针对土壤养分测试技术的工作流程,经过多年的研究与实践,应用计算机技术、数据库技术和网络技术,研
以时间代价作为目标函数,针对复杂网络的优化问题进行研究,给出了目标评价函数模型的建立过程,提出了基于改进的A*算法求解复杂网络中最短K条路径问题的算法,并以城市交通为