论文部分内容阅读
在原子公式之集为有限集Sn={p1,…,pn}时,二值命题逻辑的全体公式之集用F(Sn)表示.文中在F(Sn)中提出了基本推理链的概念,统计了不同长度的基本推理链的条数(在公式之间的逻辑等价或可证等价的意义下).同时给出了用基本推理链的概念来刻划A→B为定理的一个充要条件.
二值命题逻辑F(S_n)中的基本推理链
【摘 要】
：
在原子公式之集为有限集Sn={p1,…,pn}时,二值命题逻辑的全体公式之集用F(Sn)表示.文中在F(Sn)中提出了基本推理链的概念,统计了不同长度的基本推理链的条数(在公式之间的逻
【机 构】
：
西安文理学院数学系
【出 处】
：
西安文理学院学报(自然科学版)
【发表日期】
：
2009年04期
【基金项目】
：
国家自然科学基金资助项目(10331010)
其他文献
以聚乙烯醇（ＰＶＡ）为基体，用水溶性光敏剂４－叠氮基肉桂醛－２－磺酸钠（ＡＣＳ）对其改性，获得一种高感度的水溶性感光高分子．应用红外、紫外光谱法及元素分析法验证了合成的感光高分子的结构，探讨了影响合
瑜伽在国外作为配合临床的辅助治疗手段被广泛应用,以EBSCO全文数据库、Springer Link全文电子期刊和Elsevier Science数据库作为信息统计源,对1823—2011年有关瑜伽治疗的文
针对手工优化GPU(Graphic Processing Unit)显存级数据复用过程复杂和编译时优化数据复用开销过大的问题,提出了一种基于动态生成树在运行时进行数据复用的优化方法,可为程序
随着国内综艺节目的多元化和普遍化,观众的审美疲劳日益凸显。《奔跑吧》自改版以来,无论是节目内容还是传播形式都给观众耳目一新的感觉。作为国内户外竞技真人秀的王牌节目
本文针对重要水源地水环境和水安全问题,以福建为例系统分析了主要河流及水源地水质现状、污染程度以及水质变差的主要问题与动因。以科学发展观为指导,提出了应加强水源地水
传统AC-DC变换器的广泛应用对电网产生了大量的谐波污染.有源功率因数校正技术(APFC)是抑制谐波电流、提高功率因数的行之有效的方法,近年来受到了越来越多的关注.APFC变换器
目的观察3M透明贴在气管切开护理中的应用效果。方法 62例住院治疗的气管切开患者,其中31例(观察组)采用3M透明贴改制后的气管垫,31例(对照组)采用传统剪口纱布气管垫,观察两
通过对定向运动的性质和技能的分析,结合陕西省学校开展定向运动的现状和陕西省在2006年首届学生定向运动比赛回顾分析,提出定向运动在《新课标》和素质教育的今天是适合在我
如果说电商直播在2019年迎来了爆发式增长，那2020年新冠肺炎疫情催生的“宅经济”则让直播带货彻底火了，直播人才也变得更“抢手”，这也催化了部分高校相关人才的培养。据媒体报
报纸