论文部分内容阅读
根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P*k在的极大封闭集之最小覆盖中不出现,另一类在P*k的极大封闭集之最小覆盖中必须出现.
关于部分K值逻辑Sheffer函数（Ⅲ）
【摘 要】
：
根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P*k在的极大封闭集之最小覆盖中不出现,另一类在P*k的极大封闭集之最小覆盖中必须出现.
【机 构】
：
深圳大学,湘潭大学
【出 处】
：
长沙交通学院学报
【发表日期】
：
2004年4期
【基金项目】
：
国家自然科学基金，湖南省自然科学基金
其他文献
土豆又叫马铃薯,主要药用成分为维生素B族、维生素C、胡萝I、素及茄定、茄碱、块茎葛素等,新鲜土豆切片可以用于多种疾病,它具有清热解毒、利湿止痒、消炎止痛、消肿,促进局
提出由传输函数直接设计电流模式低通对数域滤波器的方法，实现了电流模式一阶低通对数域滤波器．并根据一阶低通、高通和全通滤波器之间的结构关系，设计出具有多输出功能的一阶对
<正>美国俄亥俄克利夫兰德基工业食品组/CcM公司最近研制一种乳化剂,即甘油一酸脂和甘油二酸脂乳化剂,名之为多罗(Dur－Lo)乳化剂,它是从植物油提炼的,它与其它的乳化剂不同,它
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
斜拉桥复杂的超静定结构形式增加了其结构分析的难度,模型分析结果与实际结构测量结果之间总是存在一定的误差。传统的建模方法是对主塔、斜拉索和主梁进行大量的简化,用梁单
《历代名画记》是一本描绘中国绘画艺术史的书籍,同时却兼合儒、道,提出了丰富的理论命题。作者张彦远是晚唐时期的著名画史论者,他在此书中提出的一些绘画理论对后世影响深
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
文学旅游是文学资源与旅游资源之间的融合结果,从其根本上来看具备网络时代的“资源融合”特征,属于互联网+思维的1.0版本;现阶段已经明确了文学旅游是对于旅游业的深度开发,
研究了零电场和正弦电场作用下的磁量子结构中自旋电子的隧穿输运特性.结果表明,自旋耦合使得共振劈裂区展宽或压缩,且沿能量轴移动.考虑自旋耦合和正弦电场作用后,不改变周