【摘 要】
：
目前常见的《逻辑代数》教材,如文〔1〕〔2〕〔3〕等,在逻辑代数公理化定义的处理上,均不考虑公理的独立性,这样作使得推导其它公式或定理比较方便,实用,但讨论公理的独立性,
论文部分内容阅读
目前常见的《逻辑代数》教材,如文〔1〕〔2〕〔3〕等,在逻辑代数公理化定义的处理上,均不考虑公理的独立性,这样作使得推导其它公式或定理比较方便,实用,但讨论公理的独立性,以加深对基本公理的了解,从而更好地理解逻辑代数的定义,是十分必要的,本文将对几种逻辑代数定义予以讨论,主要结果由定理示之。 首先,在文〔1〕中,将如下六条定律作为公理化定义的基本公理。
其他文献
会计作为动态过程,它包括组织环境、组织目的、会计主体和会计客体四个要素,离开任何一个要素,会计行为便无法产生。本文基于上述观点分析了影响企业会计行为规范的几方面因
高等学校实验教学中．就教学内容来说．不外乎三种类型：一是验证理论知识的．即验证性的。二是基本技能训练式的。三是验证性的和基本技能训练式两者的相结合。但就教学目的来说．实验
目的:分析紫杉醇联合顺铂新辅助化疗在局部晚期宫颈癌手术前的应用价值。方法:回顾性分析2010年1月-2016年12月于我院行宫颈癌根治术的94例局部晚期宫颈癌患者的病例资料,根
随着科学技术不断的发展,近年来电视技术发展之快是前所未有的。电视节奏快、变化无穷、富有临场感,作为一种迅速而生动的信息传递和交换手段,已应用于许多领域。展望未来,电
由于受到资源分布不平衡和地区经济发展差异大等因素的影响,全国集装箱货源分布和流向存在着很大差异,导致箱流在方向上的不平衡。而空箱调整和调整水平的高低,直接影响铁路
装船机是国内使用较多的港口散货装船设备，长江航运科学研究所研究设计的1500t／h环保型装船机的技术亮点是，采用了技术先进的除尘系统，确保有扬尘特性的物料在输送过程中整体收尘
现如今,随着移动电子商务界的快速发展,与互联网相关的许多服务例如股票交换、网上购物和银行业务逐渐成为人们生活中不可缺少的部分,消费者大多采用网上支付的方式,而电子优
当今社会,经济发展迅速,经济全球化已成为经济发展的主要趋势。在这样的时代背景下,提升企业的自主创新能力,增强自身的核心竞争力显得尤为重要。以专利为核心的知识产权是企
以鄂州职业大学应用电子技术专业为例，探讨了该专业在示范建设中，建立健全集专业教学质量标准、质量监控、质量评价与反馈于一体的闭环质量保障体系的方式。并通过多年的实践，使
目的本研究旨在探讨中国汉族人群中慢性鼻窦炎伴鼻息肉(chronic rhinosinusitis with nasal polyps,CRSw NP)患者鼻腔上皮紧密连接(tight junction,TJ)屏障功能的改变以及转