微积分一种重要类型极限的计算方法

给出了一种类型函数极限运算的公式及其在微积分极限计算中的具体应用,应用此极限公式可以求某些极限运算中参数的值,给出一元函数在某一点连续的充分条件和求一个曲线的渐近线,同时提供了一个命题的证明方法.     

也谈复合命题

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从“真假决说”角度来定义复合命题；复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题；应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题；相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存，至少有一个而且至多有一个存在的选言命题；应持“两立说”来对待不相容选言命题，不能对V进行结合运算，这是f10这一真值函项本身的性质使然，不影响不相容选言命题的存在。     

关于数理逻辑在解决数学命题中的探讨

在解决、论证数学命题过程中 ,准确使用逻辑思维方法 ,可使具体解题步骤严谨周密 ,条理清晰 ,形成完整的推理体系     

居加猜想的一个等价命题

文章利用数论中的一些简单结果,建立了居加猜想的一个等价命题。     

关于W.H.Young不等式形式的探讨

通过一个命题的证明，得出关于W．H．Young不等式的另一种形式，并说明这种形式的不必要性，借此来说明W．H．Young不等式形式的内在统一性和数学思维的严密性。     

互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

知识库中假言推理命题的Fuzzy表达及其求值

本文给出了另一类近似推理命题——假言命题的Fuzzy表达及其求值算法,并提出语言真值的“动词化”设想。作者认为在专家系统中采用语言真值的“动词化”方法可能更有效。     

F命题演算

本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。     

新乡市区的淡水贝类

淡水软体动物和人类的关系密切。有的可以食用,有的可做养鱼饵料,或者做饲料和肥料使用,对人类有益。另外也有些种类是人、畜、禽、鱼类寄生虫的中间宿主,传播疾病,对人类有害。进行调查研究,摸清淡水贝类的种类与地理分布,是开发利用这项资源必不可少的基础工作。鉴定结果,计有7科29种,其中12种为河南省的新记录。     

乡镇村小煤矿开采方法的改革及安全生产的探讨

文章以山西省大同市南郊区小煤矿为例介绍了乡镇村小煤矿采煤方法的改革,且对小煤矿安全生产存在问题的原因及解决需采取的具体措施进行了论述。