切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
对D蕴涵性质的研究
对D蕴涵性质的研究
来源 :青岛理工大学学报 | 被引量 : 0次 | 上传用户:chenhuaxys
【摘 要】
:
研究了每一个D蕴涵在不需任何条件下都满足对第一变量的单调性,右边界条件和左单位性等基本性质.排中律是D蕴涵满足左边界条件的充要条件,从而是排序性和换位对称性的必要条
【作 者】
:
常雁玲
【机 构】
:
朔州职业技术学院基础教学部
【出 处】
:
青岛理工大学学报
【发表日期】
:
2015年4期
【关键词】
:
D蕴涵
T模
t余模
D-implicationst-normt-conorm
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了每一个D蕴涵在不需任何条件下都满足对第一变量的单调性,右边界条件和左单位性等基本性质.排中律是D蕴涵满足左边界条件的充要条件,从而是排序性和换位对称性的必要条件.
其他文献
新型小载荷冲击磨损试验机的搭建及其实验探究
结合实验需要以及实验室现有条件,研制了一台可进行往复冲击的小载荷冲击磨损试验机.介绍了该试验机的工作原理、总体结构以及功能模块.通过该试验机,对干接触及脂润滑工况下
期刊
冲击磨损
小载荷
试验机
GCR15
impact wear small load tester GCrl5
探析曹操与原始道教的关系
两汉时期,灾异论成为正统的神学思想,这对统治者是把双刃剑。随着灾异现象的频繁发生,诸多皇帝多次发布罪己诏,仍不能消弭天子与上天的紧张关系,导致民众乃至统治者对现实政
期刊
曹操
太平道
五斗米道
多跨一联T梁桥施工调整方案设计及验算
施工顺序不仅影响桥梁的成桥受力和线形,更关系结构施工过程的安全性,特别是对于跨径较大的多跨一联连续梁桥,体系转换的工序较多,容易出现实际施工过程与设计施工顺序不一致
期刊
施工顺序
计算分析
连续T梁
体系转换
construction sequence calculation and analysis T beam system
2019年本刊在人大复印资料全文转载文章一览
期刊
血管回声跟踪技术诊断2型糖尿病患者动脉早期硬化
探讨血管回声跟踪(echo—tracking,ET)技术对2型糖尿病患者早期动脉硬化的应用价值。方法在ET模式下,采集30例正常人和54例2型糖尿病患者的股动脉的二维超声图像,测量双侧股动脉内
期刊
血管回声跟踪技术
2型糖尿病
股动脉
早期硬化
Echo-tracking technology
Type 2 diabetes mellitus
Femo
pH与Eh对郑州北郊水源地沉积物中砷溶出的影响
以郑州市北郊水源地富砷区域的地层沉积物(粗砂、细砂、粉土、黏土)为实验材料,研究了pH和氧化还原电位(Eh)对沉积物中砷溶出的影响规律,并分析了两个因素影响沉积物中砷溶出的原因
期刊
砷
沉积物
PH
EH
溶出
arsenic sediment pH Eh dissolution
高强度聚焦超声联合微泡损伤山羊肝脏的实时声像图研究
目的探讨HIFU联合微泡造影剂损伤山羊肝脏的超声声像图变化及其对损伤的监控。方法经静脉注人微泡造影剂后,对15只山羊肝脏进行HIFU定点辐照,观测HIFU辐照后靶区的灰阶值和回声
期刊
高强度聚焦超声
造影剂
山羊
肝
High intensity focused ultrasound
Contrast agent
Goat
Liver.
其他学术论文