【摘 要】
:
探讨原子公式集为有限集Sn时,二值命题逻辑F(Sn)中公式集Γ的所有结论之集D(Γ)的结构.利用F(Sn)中公式在可证等价意义下的一般表示,通过建立一个特殊映射,将F(Sn)中公式之间的合取∧
【基金项目】
:
国家自然科学基金资助项目(10331010)
论文部分内容阅读
探讨原子公式集为有限集Sn时,二值命题逻辑F(Sn)中公式集Γ的所有结论之集D(Γ)的结构.利用F(Sn)中公式在可证等价意义下的一般表示,通过建立一个特殊映射,将F(Sn)中公式之间的合取∧、析取∨及否定 的运算转化为在可证等价意义下某集合的子集之间的求交∩,求并∪,求补′的运算.进而得到(1)对于A∈F(Sn),ΓF(Sn),给出了A∈D(Γ)是否成立的充要条件;(2)对于ΓF(Sn),给出了Γ是否相容的充要条件;(3)对于ΓF(Sn),在可证等价意义下,给出了D(Γ)中所含F(Sn)中公式的个数;(
其他文献
设n∈N+,ZW(n)是n的伪无平方因子函数.解决了有关ZW(n)的3个指数Diophantine方程。
讨论了用块AOR迭代法解决线性方程组的系数矩阵为奇异p-循环阵的半收敛性问题.首先用外插迭代给出了用块AOR迭代法解线性方程组系数阵为奇异p-循环阵半收敛的一些充分条件,然
1临床资料1.1一般资料本组男15例,女8例;年龄13岁~64岁.致伤原因:钝挫和挤压伤16例,异物刺伤5例,医源性损伤2例.腹膜返折以上直肠损伤13例,腹膜返折以下直肠损伤7例,肛提肌以
摘 要:在当前移动互联网时代,利用互联网的优势实现教育效果最大化是当前高校思政教育中的重要发展方向。本文從高校网络思政教育的宣传现状出发,提出通过微信公众号、微博、APP的优化建设来加强思政教育效果,具有一定的启发意义。 关键词:高校思政教育;网络宣传;新媒体 思想政治教育是高校必修课。目前高校已经有了较为完善的思想政治宣传教育体系和完善的大学生思想教育规划。在互联网时代,应用网络也成了思想政
肥胖型外科病人由于其对疾病、创伤的耐受性差,麻醉、手术、护理均有其特殊性,稍有疏忽,易发生切口感染,脂肪液化,现将我院1998~2001年所见腹部切口液化病例防治体会报告如下.
在L-拓扑空间中定义了一种新的连通性:δ-连通性,给出δ-连通分支的定义,研究了它们的一些性质,给出δ-连通的若干等价刻画.特别在F格L的最大元1是分子时,得到一些有趣的结果.
教师要把培养学生的创新精神、实践能力和情感态度作为素质教育的重点,并具体落实到教学过程中,充分发挥学生的主观能动性,培养学生的动手能力。
摘 要:如何让大学生毕业后缩短找工作的周期,同时保障就业稳定,避免长期处于待业状态,成为各级政府、学校及毕业生应当积极思考的问题。本文以做好离校未就业高校毕业生的职业指导工作为目标,分析高校毕业生离校未就业成因,合理有效地提供具有针对性的帮扶和指导,从而提高毕业生的就业率与稳定率。 关键词:离校未就业;职业指导;高校毕业生 一、高校大学生毕业未就业现状 大学生作为国家重要的人力资源,如果毕业
利用特殊的严格系统等价变换和适当的新型广义Lyapunov方程,给出了离散奇异系统稳定和广义Lyapunov方程有特殊对称解的一个充要条件.进一步,结合无脉冲模判定条件,证明了原离
走校企合作办学之路,实施"订单式培养"办学模式,已成为我校的办学特色。本文就外企班的管理包括班级建设、英语学习、师生交流、校企互动等方面谈自己的一些尝试和具体做法。