对D蕴涵性质的研究

来源 :青岛理工大学学报 | 被引量 : 0次 | 上传用户:chenhuaxys
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了每一个D蕴涵在不需任何条件下都满足对第一变量的单调性,右边界条件和左单位性等基本性质.排中律是D蕴涵满足左边界条件的充要条件,从而是排序性和换位对称性的必要条件.
其他文献
结合实验需要以及实验室现有条件,研制了一台可进行往复冲击的小载荷冲击磨损试验机.介绍了该试验机的工作原理、总体结构以及功能模块.通过该试验机,对干接触及脂润滑工况下
两汉时期,灾异论成为正统的神学思想,这对统治者是把双刃剑。随着灾异现象的频繁发生,诸多皇帝多次发布罪己诏,仍不能消弭天子与上天的紧张关系,导致民众乃至统治者对现实政
施工顺序不仅影响桥梁的成桥受力和线形,更关系结构施工过程的安全性,特别是对于跨径较大的多跨一联连续梁桥,体系转换的工序较多,容易出现实际施工过程与设计施工顺序不一致
期刊
探讨血管回声跟踪(echo—tracking,ET)技术对2型糖尿病患者早期动脉硬化的应用价值。方法在ET模式下,采集30例正常人和54例2型糖尿病患者的股动脉的二维超声图像,测量双侧股动脉内
以郑州市北郊水源地富砷区域的地层沉积物(粗砂、细砂、粉土、黏土)为实验材料,研究了pH和氧化还原电位(Eh)对沉积物中砷溶出的影响规律,并分析了两个因素影响沉积物中砷溶出的原因
目的探讨HIFU联合微泡造影剂损伤山羊肝脏的超声声像图变化及其对损伤的监控。方法经静脉注人微泡造影剂后,对15只山羊肝脏进行HIFU定点辐照,观测HIFU辐照后靶区的灰阶值和回声