求重言等值式的一组图式

来源 :兰州大学学报 | 被引量 : 0次 | 上传用户:yuezhiyaodao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 命题逻辑所揭示的逻辑规律都是重言式,其中有一部分是重言等值式。重言等值式在逻辑学这个大学科中占有极其重要的地位,是命题逻辑、谓词逻辑乃至普通逻辑的规律和推导工具。重言等值式的重要性质是:等值的两端具有相同的真值,←→的赋值永真,所以当等值的一端出现在任一公式中时,可以用另一端代替,而不改变原公式的真值。有些重言等值式是命题逻辑中常用的,因为这些重言等值式本身是逻辑规律,同时又是
其他文献
为满足市场对超薄广角手机镜头的需求,用光学设计软件Zemax设计了一款800万像素超薄广角手机镜头。该手机镜头由4片非球面塑料透镜和1片红外滤波片组成。它的总长为3.6 mm、
该试验以冷冻猪胰脏为原料提取胰蛋白酶,以酶活力为评价指标,在单因素试验的基础上通过正交试验来确定提取胰蛋白酶的最佳条件,通过透析对粗胰蛋白酶液进行浓缩。结果表明,胰
以葡萄籽鹰嘴豆复合饮料酸度为评价指标,研究了不同发酵条件对葡萄籽鹰嘴豆复合饮料酸度的影响,在单因素试验的基础上采用响应面试验优化葡萄籽鹰嘴豆复合饮料的发酵工艺条件
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
概述了SBR脱氮工艺中的同步硝化 /反硝化、亚硝化脱氮现象 ,讨论了影响SBR除磷的碳源、聚磷菌与非聚磷菌竞争、pH值、好氧曝气、污泥龄、水力停留时间等因素 ,并对SBR工艺中脱氮与除磷之间的相互影响进行了探讨 ,最后给出了可以同时脱氮除磷的一种SBR运行方式
目的探讨对医院消毒供应室的护理人员进行柔性管理的临床效果。方法医院2016年1月实施柔性管理干预措施,实施前、后10个月中对本院消毒供应室的护理人员14名进行调查评估。比
宋代是我国历史上文化兴盛的时期,文人士大夫们的文化修养普遍提高,诗歌的题材也大大扩展。由于宋代科举打破了门第的限制,大量平民子弟得以通过科举步入仕途,而出身于乡"的文
在制糖干燥包装车间中找到白砂糖出芽短梗霉(Aureobasidiumpullulans)的污染来源,建立白砂糖污染微生物的溯源方法。采用传统形态学、聚合酶链式反应(PCP0技术和基质辅助激光解吸
学习归因与自我效能是解释学业成就的重要理论,近年来它们在二语习得领域引起越来越多的关注。国内外学者对这两种理论分别进行了许多实证研究,并且已有少数学者着力于这两者
复习课难上,六年级总复习课更难上,这是所有数学教师的感受。复习课的教学首先要关注的是复习过程能否促使学生的学习能力有所提高,能否促进学生的可持续发展等。复习课一要帮助