论文部分内容阅读
<正> 普通是通过几何学式的演算来证明定理的真假,或者画个真值表来加以检验,看定理合不合格。证明法正规但麻烦。真值表方便多了,但仍不够简便。本文拟提出一种新的检验法,它可比真值表还更省事些。如有这么
逻辑里一种新的检验法
【摘 要】
：
<正> 普通是通过几何学式的演算来证明定理的真假,或者画个真值表来加以检验,看定理合不合格。证明法正规但麻烦。真值表方便多了,但仍不够简便。本文拟提出一种新的检验法,
【出 处】
：
江西师院学报
【发表日期】
：
1982年3期
其他文献
属于国内首创的转炉钢渣粒化处理工艺已南包头钢铁研究设计总院研发成功。转炉钢渣粒化处理工艺采用机械破碎与水淬相结合的办法，熔渣被高速旋转的粒化轮碎成小颗粒，然后被高压
<正> 思想工作在任何时候、任何部门都是非常重要和必要的。思想工作是一个广泛的概念。它包涵平时讲的思想政治工作、思想教育工作和思想宣传工作等含义在内。思想工作涉及
阑尾炎是外科常见急腹症, 但阑尾腔与盲肠回肠交通性阑尾炎在临床上非常罕见. 因其临床表现和急性阑尾炎相同, 在手术前根本不能确诊, 一般都按急性阑尾炎入院, 并进行手术,
探讨热处理过程中系统组分对芹菜中还原型与氧化型维生素C的影响.结果表明,芹菜中两种类型Vc在热处理过程中可互相转化,Na2O3、EDTA对芹菜均具有护色作用,但Na2SO3加速Vc的破
<正> 第一次国内革命战争失败后,中国共产党发动了南昌起义、秋收起义、广州起义等一系列武装起义,开始了创造红军、创造苏维埃政权的伟大斗争。毛泽东同志率领秋收起义的队