【摘 要】
：
在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集.在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真
论文部分内容阅读
在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集.在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真度概念,证明了关于准真度而言MP规则与HS规则成立,并基于准真度对全体谓词公式之集进行了分类.准真度理论虽然并不与逻辑有效公式以及矛盾式概念完全吻合,但可证明存在一类公式,对该类公式而言,逻辑有效性等价于准直度为1,矛盾性等价于准真度为0.所以分准真度为1或0分别是逻辑有效公式或矛盾式概念的一种推广.
其他文献
1病例资料女，58岁。因恶心、呕吐半年，加重伴头晕3天入院。近半年因恶心、呕吐多次到当地及省级医院就诊，胃镜检查示慢性浅表性胃炎，上消化道造影检查未见异常，头颅MRI、腹部CT检
日前，欧特克软件（中国）有限公司与中国工程机械装备制造龙头企业长沙中联重工科技发展股份有限公司（简称“中联重科”）在星城长沙签署合作备忘录。中联重科集团信息总监王玉坤和欧
自2008年开始的国际金融危机对包括汽车制造业和机床工具行业在内的制造业产生了非常大的影响。但随着国内汽车2009年第一季度上牌量的增长，中国汽车行业在政策利好的情况下出
目的：探讨卵巢初治和复发上皮癌组织中热休克蛋白70（HSP70）与突变型P53（mtP53）的表达情况及其在临床应用E1B-55KD缺陷型腺病毒联合化疗治疗卵巢癌中的意义,探索一种新的治疗方法。
某零件底盘由12块圆弧部件（见图1）构成整圆,直径2m。我们接到任务后,反复思考并结合加工实践,设计出工装如图2所示。它利用圆弧部件A、B两孔中心线作为工装定位槽相应弦长未定
目的基于代谢组学的方法研究补骨脂醇提物（EEFP）对正常大鼠尿液内源性代谢产物的影响。方法雄性SD大鼠每天1次分别ig给予EEFP 0.54,1.08和1.62 g·kg- 1,连续给药2周,末次
<正> 日本NTT电子公司(NEL,总部:东京都涉谷区)于2003年7月17日宣布开发出软件解码器“HD.Viewer”并已投产,该产品可以在个人电脑上解码并实时播放高清电视(HDTV)画质的MPEG
OBJECTIVE Diosgenin(DG), a naturally occurring steroidal saponin, has been reported to offer a variety ofpharmacological activities including anti-diabetic and
<正> 1.前言镇静钢锭帽口面的弯曲是影响镇静钢初轧成坯率的重要因素,因此研究镇静钢锭帽口面变形,减少其弯曲,是提高镇静钢锭初轧成坯率的重要途径。钢锭轧前通过预压缩控制