命题公式主范式的自动生成与形式输出

在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出.     

主范式的运算性质

文[6]研究了极大项、极小项的运算性质,本文研究公式的主范式的运算,给出求A,A ∨ B,A ∧ B,A→B,AB的主范式的公式,由此可用程序化的方法求任意公式的主范式。     

关于命题逻辑中两个问题的思考

针对学生在学习命题逻辑时有困难的两个基本问题,运用实例进行了分析说明,较好的解决了学生学习过程中的困难。     

命题逻辑中主范式的求法

求主析取范式包括真值表法、推演法以及用真值表法求，G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明，用公式相等的定义证明了求，G的主析取范式的定理。     

极小项与极大项的运算性质

研究了极小项、极大项的运算性质，给出了一组运算公式，利用这些运算公式可以使求命题公式的主范式运算更简洁。     

命题逻辑中主范式的求法

求主析取范式包括真值表法、推演法以及用真值表法求( )G的主析取范式、用推演法求G的主合取范式等四种方法.用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求┐G的主析取范式的定理.     

用C程序求解命题公式中的若干问题

本文利用C语言程序实现了对离散数学的数理逻辑中任意命题公式根据其真值表判断其类型、求其主析取范式和主合取范式。在计算机专业的教学中可以培养学生的理论和计算机操作相结合的学习能力。     

关于命题论证有效判定的另一方法

本文引进正则公式的概念,并且给出一个关于命题推理有效判定的方法,它可以在有限步之后确定一个论证是有效的还是无效的,容易看出一个结论是否可以从前提推出。     

离散数学中的一个充要条件

为了化简主范式的求解过程，该文给出了一个充要条件。     

s~A的矩阵范数的一些性质

要 :设A是d×d阶实矩阵 ,s>0 ,t∈R。利用矩阵A的特征值 ,给出了矩阵sA 和etA 的一些范数不等式及范数极限等式 ,并且给出了矩阵sA 和etA 对应的行列式值与矩阵A的特征值的关系     

一般非线性控制系统的零动态与弱正则标准形

将零动态分为几种类型,运用泛函分析等工具,研究了一般非线性系统与其作为仿射非线性系统的伴随系统的零动态之间的关系．结果表明,两者之间存在密切关系．通过这些联系,并利用仿射非线性系统的已有结果得到了一般非线性系统的弱正则标准形,从而简化对输出跟踪等一些问题的处理．     

试论白语的否定词和否定表达形式

作为一种重要的语法意义范畴，白语的否定词及其表达形式体现了白语语言结构的复杂性和独特的发展面貌：方言间否定词的意义和用法有较大差别，否定词构词方法经历了从屈折到分析的重大变化，不同来源的否定词并存并用，并逐渐形成优势型否定词及其表达方式。     

关于范数及界的讨论

A.S.Householder给出了均衡凸体上范数及界的定义,得到一些有用的性质,进行了更深入的研究,将范数及界的性质进行了推广,在此基础上给出了几个有用的结果以便于应用.     

关于模糊集的范数

讨论了Ｆ集的几种范数的重要性质及其相互间的关系。     

关于酉不变范数的矩阵不等式

将复数域上的一些常见不等式推广到方阵Mn上,并利用奇异值分解理论和酉不变范数的性质得到了一些关于矩阵不等式的结论.     

关于一个新定义的最大函数的加权赋范不等式

本文定义了一个类似Ｈａｒｄｙ最大函数的加权最大函数，并且给出这一函数满足一加权赋范不等式的充分条件和必要条件。     

试论合同的形式

合同形式自由为近现代法的通例 ,我国合同法一改过去过分强调书面形式的做法 ,与各国的通例相一致 ,属一项重大改进。合同形式的目的主要包括 :证据目的、警告目的、境界线目的、信息提供目的以及其他目的。合同形式的类型有书面形式、口头形式和其他形式。合同形式存有缺陷 ,以合同不成立作为其一般效果 ,惟于特别场合 ,可发生合同无效或其他特别效果。合同形式的缺陷可因履行而治愈 ,这体现了合同法鼓励交易的思想。     

试论“悟性”的思维“形式”

“悟性认识”层阶的思维“形式”是多种多样、丰富多彩的,它反映的是客观事物多种表层或浅层本质：换言之,同一事物的表层、浅层本质,可以为多种“悟性认识”层阶的思维“形式”所反映。所以,对“陪性认识”层阶的多种思维“形式”进行了探索性的阐述。