【摘 要】
：
引入了平衡逻辑公式的概念,证明了和一个平衡逻辑公式等价的逻辑公式是平衡逻辑公式.并且n元平衡逻辑公式中等价类关于(一),ν,Λ,→运算封闭,等价类之集[A](A是n元平衡逻辑
论文部分内容阅读
引入了平衡逻辑公式的概念,证明了和一个平衡逻辑公式等价的逻辑公式是平衡逻辑公式.并且n元平衡逻辑公式中等价类关于(一),ν,Λ,→运算封闭,等价类之集[A](A是n元平衡逻辑公式)关于包含序在ν,Λ下构成一个格.证明了n元平衡逻辑公式只占全体n元逻辑公式的很小一部分,其比例随n的增大而趋向于零.其次,n元平衡逻辑公式的真度总是等于1/2,任一n元平衡逻辑公式的任意小的邻城内都有非平衡逻辑公式,但是这些公式的真度随n的增大而趋向于1/2.最后,给出了平衡逻辑公式的表示定理.
其他文献
基于求线性矩阵方程约束解的修正共轭梯度法的思想方法,通过修改某些矩阵的结构,建立了求特殊类型的多矩阵变量线性矩阵方程的广义自反解的迭代算法,证明了迭代算法的收敛性,解决了给定矩阵在该矩阵方程的广义自反解集合中的最佳逼近计算问题.当矩阵方程相容时,该算法可以在有限步计算后得到其一组广义自反解;选取特殊的初始矩阵,能够求得其极小范数广义自反解.数值算例表明,迭代算法是有效的.
基于分部的Runge-Kutta离散形式,给出了一种新的三阶辛积分算法,数值试验表明,长时程计算时该算法具有好的控制误差累积的能力;与有限差分法进行空间域离散相结合,通过数值试验进一步说明算法的有效性.注意到位移波动方程通过谱元离散后的微分方程组,完全符合新推导的三阶辛算法离散所需形式,因此将该三阶辛算法与谱元法结合具有很好的优势,并通过对横向各向同性介质弹性波场的模拟,结果显示不但成功模拟了波的
结合第一类完全椭圆积分的迭代算法和Jacobi椭圆函数的恒等式,实现Wangerin函数Snm(μ)的高精度数值计算.进一步,利用数值可视化方法对它的数值计算结果进行分析,总结出Wange
本文针对一维抛物型方程第三边值问题提出了一种紧有限体积格式,该格式形成的线性代数方程组具有对称三对角性质,且不可约占优,可以使用追赶法求解.证明了格式按照离散L~2范数在空间方向具有3.5阶精度,在时间方向具有2阶精度.数值算例验证了理论分析的正确性,并说明了格式的有效性.
针对多层介质中声波的传播问题,将其中偶数(或奇数)层内的声波用一种单双层混合位势的形式来表示,再应用Green定理表示出其余层的声波并形成相应的边界积分方程.如果区域有M层时,传统的边界元方法最终将形成2M个边界积分方程并对应2M个未知函数,而应用上述方法求解该问题时,最终只形成M个边界积分方程以及对应M个未知函数,从而使得求解的方程和未知数的个数都减少了一倍.最后,通过对数值算例的求解,验证了该
研究了分配格上的幂格的偏序关系,给出了分配格上的幂格是链格的充要条件.
在直觉模糊集理论的基础上,首先引入了(λ,μ)直觉模糊子环和(λ,μ)直觉模糊理想的概念,讨论了它们的相关性质；其次在环同态的意义下,研究了(λ,μ)直觉模糊子环和(λ,μ)直
本文将大众传媒有关自身的报道、评论视作一种话语实践,认为它对新闻专业意识的形成具有重要作用。本文以媒介有关狗仔队的话语为例,分析了新闻专业意识生产的过程与方式。
在软集定义的基础上定义了软集的对偶以及软群的对偶软群和软BCI/BCK-代数的对偶软代数,并讨论了一些相关性质.