论文部分内容阅读
条件联结词是数理逻辑中用得比较多而且很重要的联结词，也是颇有争议的联结词．本文讨论了条件联结词的定义、证明方法以及存在的问题，力求对条件联结词的内涵进行较为系统的阐释．
数理逻辑中条件联结词之内涵
【摘 要】
：
条件联结词是数理逻辑中用得比较多而且很重要的联结词，也是颇有争议的联结词．本文讨论了条件联结词的定义、证明方法以及存在的问题，力求对条件联结词的内涵进行较为系统的阐释
【机 构】
：
绍兴文理学院数理信息学院
【出 处】
：
绍兴文理学院学报
【发表日期】
：
2012年10期
【基金项目】
：
绍兴文理学院重点建设课程（离散数学）项目
其他文献
＂文化＂一词,在中国古代思想史上出现得很早,它是由＂人文化成＂一词简化而来。文化,是一个可以作不同解释的概念,不同的学者都可以给出自己不同的定义,有学者在20世纪中叶做过统计,
宫颈上皮内瘤变（CIN）是与宫颈浸润癌密切相关的一组癌前病变,是育龄妇女常见疾病之一[1]。目前临床上广泛应用LEEP刀进行手术治疗,但是术后并发症也逐步引起重视。笔者采取外用
2014年以来,笔者应用银质针结合系统康复治疗粘连期肩周炎40例,收效较好。现报道如下。1一般资料选取从2014年1月至2014年12月在本院治疗的患者80例,经患者同意,医院伦理委员
粘连性肠梗阻是腹部外科手术后较常见的并发症之一，发病率占各类型肠梗阻的40％～60％。针刺对急性粘连性肠梗阻的治疗有较好的辅助作用。我们在临床上对急性粘连性肠梗阻患者属气滞
目的：探讨乐清地区0-6岁儿童中医体质分布规律,为进行中医体质干预,发挥中医治未病优势,防治小儿疾病提供理论依据。方法：制定0-6岁健康儿童中医体质的有关年龄组划分、证型、
跖筋膜炎是以患侧足跟痛为特征的疾患,多发于中老年人,单侧或双侧均可发病,严重影响患者生活质量。近年来,笔者采用针刀松解配合中药熏洗治疗跖筋膜炎76例,疗效满意。现总结
目的：观察消痞愈萎汤治疗慢性萎缩性胃炎（CAG）伴肠上皮化生的临床疗效。方法：将确诊为CAG伴肠上皮化生的患者80例，随机分为治疗组和对照组各40例。治疗组服用消痞愈萎汤，对照组服用
【正】所谓连续性报道,是以时间为顺序,随着事件发展进程而展开的报道形式。这个独具个性的审美创造过程,是为了实现审美价值的合理表述,提升报道的审美感染力。笔者认为,信
西汉音乐领域有一个特殊的群体,他们通常被称为＂歌儿＂。最初,他们只在宫中宴饮和祭祀上进行乐曲吹唱,发展到后来他们的身影开始出现在地方上,成为西汉社会一支不容忽视的音乐群