关于主范式的下标集合及其应用

极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件.并对命题公式的蕴涵问题进行等价描述;对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论.

关于主范式中极小项和极大项的下标算法

通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法,从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程.

主范式的运算性质

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

范式、主范式概念教学之探索

传统的教科书上的数学是以一种“高度成熟的结论”形态显现的,以一种冰冷的美丽呈现在世人面前。一些建立知识过程中的“脚手架”被拆去,一些隐藏在内容背后的思维背景被避而不谈。这样使得学习者不能深入问题的原始情景得到解决问题的本然提示,从而觉得内容抽象不易学懂,或只知解法不知本质。本文试图对范式、主范式概念的形成过程中被隐去的火热的思考进行发掘、再现。

主范式的计算方法及其在命题公式中的作用

针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法。同时系统论述两种主范式在命题逻辑中对于理解和分析命题公式诸多方面的作用。

主范式的求解及其应用

数理逻辑作为数学及思维科学的一个分支,在各学科领域的发展中,有着广泛的应用。讨论数理逻辑中的重要概念主范式的求解方法:真值表法、等值演算法、等值替换结合二进制数法及构造树法等;并且论述主范式在命题公式中的若干作用。

关于主范式的定义

对离散数学中主范式定义作了适当的修改。

几类主范式在命题推理正确性判断中的应用

在命题逻辑中,据主范式可以体现命题公式的本质的特点,将其应用在判断推理正确性的问题中,给出了利用A→B的主范式、A和B的主范式判别推理AB正确性的多种方法。

主范式在推理有效性判断中的应用

给出了利用主析取范式、主合取范式判别推理有效性的两种方法,指出了由前提的主合取范式析取任何命题公式所得新公式均为前提的有效结论.

命题逻辑中主范式的求法

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

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

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

命题公式主范式的二进制求法

命题公式主范式在数理逻辑中有重要作用,其方法论也颇具价值。针对解决求主析取范式的传统方法比较繁琐的情况,通过对极小项下标特征的讨论,利用二进制给出了由命题公式的析取范式确定主析范式中的二进制求法,从而简化了由繁杂的命题公式推演或真值表计算求主析取范式的计算过程,给出了求命题公式主析取范式的简便求法——表格法。该法稍做变动后,对求主合析取范式同样适用。

主范式在数理逻辑中的重要作用

从数理逻辑中的命题公式等值判定、命题公式类型判别、命题公式的赋值、谓词公式类型判别和推理正确性检验等几方面探讨了主范式的重要作用。

主范式求法探索

在已知主合(析)取范式时,通过证明,给出求主析(合)取范式的方法:求(1)G(-P1, -P2,…,-Pn);(2)G·(-P1,-P2,…,-Pn);(3)-G·(-P1,-P2,…,-Pn)

关于命题公式的主范式

本文讨论了两个命题公式的一次复合的主析(合)取范式与它们的主析(合)取范式之间的关系。

主范式的运算性质

研究了极大项、极小项的运算性质 ,利用这些性质给出了求 A,A∨ B,A∧ B,A→ B,A B的主范式的公式 ,由此可用程序化的方法求任意公式的主范式 .

论主客同一的心理学研究范式

本文考察了主客同一研究范式的内涵、发展脉络及历史地位。作者认为,主客同一研究范式体现着心理学的人文科学定向,张扬的是人有别于自然物的“天使”形象,展示的是将人的心理、行为视作“生活”,试图从内部体验、直观以达成对人的独特本质洞察的“内观心理学”境界。它和主客二分研究范式均可在未来心理学中获得各自合理存在的空间。

论主客二分的心理学研究范式

本文考察了主客二分研究范式的内涵、发展脉络与历史地位。作者认为,主客二分研究范式张扬着心理学的自然科学定向,体现的是人作为自然物的形象,展示的是将人的心理、行为视作“现象”,试图以实证方法揭示人的心理、行为规律的“外观心理学”境界。它和主客同一研究范式均可在未来心理学中获得各自合理存在的空间。

“主辅线范式”:理解马克思生产方式序列的另一种思路

近来多有范式之争,主要是革命史范式、现代化范式及其与它们的辩驳。本文在魏光奇教授"两主体论"和"单线多线统一论"的基础上进一步推敲、申论、阐发,提出"主辅线范式"的命名,并且探讨以之作为理解马克思生产方式序列的另一种思路的可行性。"亚细亚的生产方式"为东方社会所独具,这一点往往被戴着社会形态眼镜看待生产方式序列的人们所忽略。《政治经济学批判·序言》的生产方式序列与《政治经济学批判导言》的"三种征服"思想有内在的一致性,由此有助于透视东方社会基于生产方式的游牧、农耕二元性而独具的边疆民族之于帝国国体形塑的意义。

模糊逻辑函数的主析取范式的研究

本文首先证明有关模糊逻辑函数的一些定理和并不可约元的充要条件。之后定义了模糊逻辑函数的“互素并不可约元”的概念,以及建立了在主析取范式“互素并不可约元”的条件。最后给出简化模糊逻辑函数的方法,应用它化简模糊逻辑函数,比采用[1]和[2]介绍的方法,化得更简。从而使模糊逻辑函数的化简问题,得到较理想的解决。