~*命题集的约简及命题集的根

本文的主要目的有两个,第一,在*系统中给出了独立命题集的概念,并定义了命题集的约简;第二,讨论了命题集的根。     

(ξ)*命题集的约简及命题集的根

本文的主要目的有两个,第一,在(ξ)*系统中给出了独立命题集的概念,并定义了命题集的约简;第二,讨论了命题集的根.     

二值命题逻辑中的极大命题集与完备命题集

系统讨论了二值命题逻辑系统中极大命题集与完备命题集,给出了两种命题集的等价描述和表示定理,揭示了极大命题集和完备命题集的深刻内涵和联系.     

偏序集上的滤子极大理想

在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连续格中各种类型的既约元和素元之间的关系进行了归纳总结,完善了文献《Continuous Lattices and Domains》(作者:G.Gierz,et al)中的一个图表的相关内容,填补了在分配的连续格情形该图表的一个未知内容,部分地回答了该文献中的一个问题。     

辨析命题的否定、命题的否命题

在简易逻辑这一节中，我们学习了命题的概念，在这一节中出现了两个极易混淆的概念：命题的否定与命题的否命题．     

线性分式规划最优解集的求法

本文使用多面集的表示定理，导出了线性分式规划最优解集的结构，并给出确定全部最优解的计算步骤。     

关于集值优化问题的若干结果

引入了集值集值C-τ-半预不变凸概念，证明了集值集值C-τ-半预不变凸优化问题的局部弱有效元是弱有效元，给出了集值预不变凸变分不等式作为集值C-τ-半预不变凸优化问题的充分条件和必要条件，这些结果推广了文[1-4]的相应结果。     

关于平稳过程相关函数的一个命题

关于平稳过程相关函数的一个命题罗平（武汉水运工程学院）在以下，平稳过程｛ｘｔ，ｔ∈Ｔ｝均指弱平稳过程，并取Ｔ＝（－∞，＋∞）或者Ｔ＝｛０，±１，…｝，以Ｎ表自然数集，Ｚ表复数集，相关函数为自相关函数的简称。教材［１］中提出命题：“任一连续函数，只要具...     

d-小波集

引入 d-小波集的定义 ,得到了一个 Lebesgue可测子集 E是 d-小波集的六个等价条件 .     

Fuzzy集的势与可数Fuzzy基数

本文首先定义了Ｆｕｚｚｙ集的等势关系和Ｆｕｚｚｙ集的势，并讨论了有关Ｆｕｚｚｙ集的势的若干命题，然后在自然数集上定义了可数Ｆｕｚｚｙ基数。最后给出了确定可数论域上Ｆｕｚｚｙ集的Ｆｕｚｚｙ基数的方法，并对其若干性质进行了讨论。上述定义均以经典集论中相应定义为特款。