对逻辑代数中一个定理的注记

来源 :零陵师专学报 | 被引量 : 0次 | 上传用户:masonchina
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了逻辑代数的一个重要引理,从这个引理出发,给出了文[1]中定理2的另一简捷证明.
其他文献
期刊
新疆藁本有效成分coniselin的全合成研究丁平羽,于德泉(中国医学科学院,中国协和医科大学药物研究所北京100050)新疆藁本(ConiselinumvaginatumThell)是新疆地区常用中药藁本的代用品,应用广泛,主要功能是祛风散寒。本研...
报道了盐酸二氢埃托啡(DHE)临床替代38例海洛因成瘾者的替代抑制试验,并应用CINA量表评价海洛因成瘾者的身体依赖性程度。结果表明:盐酸二氢埃托啡可那洛酮争阿片受体,对戒断症状的100%替代抑制
中药女贞子水溶性化学成分的研究石力夫,王鹏,陈海生,董建萍(上海第二军医大学附属长海医院200433)女贞子(LgustrumlucidumAit)为常用中药,有扶正固本、滋补肝肾、明目乌发之功效[1]。临床主要用于强腰膝、壮筋骨
骨质疏松防治药物研究(3):喹啉酮类衍生物的合成及其抗骨质疏松活性徐鸣夏,段文虎,郑虎(成都华西医科大学药化教研室610041)雌激素可预防和治疗绝经后的骨质疏松症,其中雌二醇最常用。但长期
从中药兴安升麻的根茎中分得三个新结构的酚甙类,即异升麻酰胺、北升麻瑞和北升麻宁,其中Ⅰ为升麻酰胺的几何异构体,而Ⅱ和Ⅲ则分别为3,4-二羟基-β-苯乙醇-3-O-β-D-吡喃半乳糖甙和3,4-二羟基-β-苯
首次建议以抗病毒有效成分4(3H)-喹唑酮[4(3H)-quinazolinone]作为大青叶、板蓝根类药材及制剂的质量控制指标。药理实验结果证明此成分有抗病毒活性及增强机体免疫力的活性,为此类药材和制剂的质量控制提
建立了人血清苦参碱的高铲液相色谱分析方法,此法回收率为99.1-102.2%,日内精密度RSD<4%,日间RSD<6%。血药浓度在1.25-40.0μg·ml^-1范围内呈线性关系(r=0.997)。8名健康志愿者iv甘参碱6mg·kg^-1后,药代动力学过程符合二室模型。收
介绍了一种用优选法处理倒数升温和对数升温,用优选法和辛普森积分法处理线性升温加速试验数据的新算法;讨论了常规算法的缺点;比较了3种程序升温方法的优缺点。结果表明,在本文所