切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Gdel逻辑系统中公式真度判断方法
Gdel逻辑系统中公式真度判断方法
来源 :聊城大学学报:自然科学版 | 被引量 : 0次 | 上传用户:yaya_tush
【摘 要】
:
通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.
【作 者】
:
张凤姣
张兴芳
【机 构】
:
聊城大学数学科学学院
【出 处】
:
聊城大学学报:自然科学版
【发表日期】
:
2011年1期
【关键词】
:
Gdel逻辑系统
逻辑公式
真值函数
伪真值函数
真度
Godel logic system
logical formula
truth function
【基金项目】
:
基金项目:国家自然科学基金资助项目(60875034),聊城大学基金项目(X081001)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.
其他文献
培菲康配合针灸治疗肠易激综合征疗效分析
肠易激综合征(irritable bowel syndrome,IBS)是一组包括腹痛、腹胀,伴排便习惯和大便性状异常,持续存在或间歇发作,而又缺乏形态学和生化学指标异常的综合征。其发病机理不太明
期刊
培菲康
针灸
肠易激综合征
症状
疗效
形态学
生化学
发病机理
中西医结合法
NSE与视频脑电图在区分儿童假性癫疒间发作中诊断意义
儿童假性癫痫发作的原因很多,临床上极易与癫痫(EP)发作相混淆,为提高癫痫诊断的准确性,减少盲目应用抗癫痫药物,对35例有癫痫样发作的患儿同时进行视频脑电图的描记及外周血神经
期刊
NSE
视频脑电图
儿童
假性癫痫
诊断
幼年型特发性关节炎患儿血D-二聚体测定的临床意义
D-二聚体是衡量血栓性疾病纤溶亢进的敏感指标。近年在风湿性疾病(如过敏性紫癜、系统性红斑狼疮)的应用逐渐增多,其价值得到临床肯定。但有关幼年型特发性关节炎与D-二聚体的关
期刊
血D-二聚体
特发性关节炎
临床意义
幼年型
患儿
系统性红斑狼疮
测定
血栓性疾病
过敏性紫癜
风湿性疾病
胸腰椎骨折合并截瘫预防褥疮的护理体会
胸腰椎骨折所致的外伤性截瘫,在日常生活中和交通事故中较为常见。由于长期卧床,大小便失禁,极易发生褥疮,影响治疗及预后。我们2002~2004年共收治胸腰椎骨折伴完全性截瘫病人22例
期刊
胸腰椎骨折
合并症
截瘫
预防措施
褥疮
护理措施
外伤性
人工流产术前口服米索前列醇及心理指导的效果观察
近年来,未产妇女因各种原因做人工流产术者增加,其宫颈管紧窄,影响手术操作,增加受术者的痛苦且易发生并发症,为此,我们采用人工流产术前进行心理指导,口服米索前列醇的方法,使宫颈软
期刊
人工流产术
米索前列醇
心理指导
心理压力
打造“让世界读懂中国”新模式——访《文明》社长兼总编辑娄晓琪
一本来自中国,带有民间色彩的杂志,竟多次收到国际奥委会主席托马斯·巴赫、联合国教科文组织总干事伊琳娜·博科娃等人的贺信或称赞。这本杂志就是《文明》。自2001
期刊
世界自然基金会
《文明》
中国
联合国教科文组织
总编辑
奥林匹克精神
国际奥委会
奥运文化
急性有机磷杀虫药中毒的抢救体会(附98例报告)
急性有机磷杀虫药中毒是常见急症之一,一旦中毒病情进展迅速,如不积极实施抢救,可以在短时间内死亡。现将我院近2年来有机磷杀虫药中毒98例报告如下。
期刊
急性有机磷杀虫药中毒
抢救体会
病例分析
临床研究
多脏器功能衰竭
药物治疗
基于声子一激子模型的高温超导电性
把推广的BCS-Eliashberg理论即声子一激子模型作为YBCO铜氧化物超导体的可能机制,采用McMiilan的能隙函数模型导出了Tc的表示式,初步探明了氧同位素指数βa的计算方法.以上理论
期刊
声子-激子模型
临界温度
同位素效应
YBCO铜氧化物超导体
phonon-exciton mechanism
transition temperature
i
非奇异M-矩阵的若干结果
利用矩阵的Kronecker积和Hadamard积,得到了非奇异M-矩阵的若干结果.
期刊
非奇异M-矩阵
KRONECKER积
HADAMARD积
nonsingular M-matrix
Kronecker product
Hadamard p
有机磷农药中毒病人的ChE动态变化与反复、反跳、死亡的关系
2002—01/2003—12期间共收治急性有机磷农药中毒(AOPP)病人106例,我们进行了系统的治疗和详细的乙酰胆碱酯酶(ChE)动态变化观测,积累了完整的资料,试图以ChE的动态变化来揭示AOP
期刊
有机磷农药中毒
CHE
反复
反跳
死亡
乙酰胆碱酯酶
与本文相关的学术论文