逻辑功能与逻辑体制

对同一逻辑门电路，既可采用正逻辑体制，亦可采用负逻辑体制，还可采秀混和逻辑体制，选用何种逻辑体制，应视分析和设计逻辑电路的方便与否而定。     

剖析三种非经典逻辑的思想来源与特征

论述了概率逻辑,模糊逻辑和不确定逻辑的思想来源;揭示了它们的思想本质特性;比较分析了它们的长处和不足.     

模糊知识体系逻辑扩展能力评价模型研究

以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标，在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型，并给出对典型加权模糊逻辑的详细评测过程，这个模糊知识体系的逻辑扩展能力评价模型，可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。     

由逻辑描述得到逻辑函数的方法与技巧

组合电路的设计过程,其出发点是给定了逻辑功能,而要求设计出实现这个功能的逻辑电路,具体地说,逻辑设计的任务是从给定的逻辑功能或逻辑要求出发,经过逻辑抽象和逻辑化简进而得到在特定条件下实现给定逻辑功能的最经济合理的逻辑电路图。     

关于我国大学逻辑课教学的几点看法

当前大学文科逻辑现状不容乐观，人内在原因看，教材和教学都存在很多问题。目前通行的逻辑教材虽经不断修订和改革，但仍不成熟。因此，在现有的课程和课时安排下，教师如何组织教学就非常重要。根据多年的教学探索，人文提出了对传统逻辑和现代逻辑内容调整的具体做法，并针对学生学习上的实际问题，提出了两点建议。     

直觉区间值模糊逻辑算子

首先提出了用直觉区间值去表示命题的真值;然后定义了直觉区间值模糊逻辑上的算子－补,t-范、t－余范和蕴函算子,并讨论了它们与I[0,1]及[0,1]上的相应算子的内在联系,指出它们可用I[0,1]及[０,１]上相应逻辑算子表示。     

所谓“逻辑量词”

数理逻辑一阶谓词演算中,作为一种逻辑词采用的量词,不是传统逻辑中的量词,更不是语言中的量词。F中的全称量词任意x的语义为“对于论域中的每一个个体”,存在量词 x的语义为“论域中至少有一个个体”。人类在求取关于不可逐一列举（有限的或无限的）个体域的作为一般性原理的真知的过程中,事实上从来也不曾在逻辑上使用过这样的量词。这样的量词对人类提出要去逐一确定不可逐一列举的个体域的每一个个体具有什么性质。这样的指令,人类是无法执行的。这样的对外延的无限要求是超乎人类的有限能力和生命的。难怪,A．Church证明了关于,的不可判定定理。     

论逻辑语言的现代化转向

传统的逻辑语言具有缺乏一致性、准确性和全面性的特点,因而在应用中受到较大的局限。而现代化的逻辑语言不仅对语言内容与语言形式作出区分,还对对象语言与元语言,以及语法学、语义学、语用学等语言层次上作出区分。因此,对逻辑语言的现代化转向的重新追溯和审视,将使人们更易于理解现代逻辑语言与传统逻辑语言的差异,并且对于逻辑学的发展和应用具有深远的理论意义和实践意义。     

文化产业兴起与发展的内在规律

文化产业的兴起和发展是产业逻辑、需求逻辑和技术逻辑综合作用的结果。文化产业作为高端服务业是产业自身演进的产物,其动力机制是经济社会发展与需求结构升级的相互作用。“机械复制技术”催生了文化产业,文化产业随着以“机械复制技术”为特征的传播技术的发展而不断升级并向传统产业渗透,文化产业业态不断创新。在经济全球化与国际文化产业的互动发展的背景下,文化产业必将成为21世纪的主导型产业。     

/p∧→p/=0与/p∧→p/=1/2能使我们陷入"两难"吗?

在卢卡西维茨的三值逻辑理论L3中,当/P/=1/2时,/→p/=1/2,所以,p∧→p/=1/2.但是,在人们的"逻辑直觉"中,/p∧→p/=0.本文指出这种"逻辑直觉",其实是以二值逻辑暗中取代了三值逻辑,从而得出/p∧→p/=0这样的结果./p∧→p/=1/2与/p∧→p/=0由于不是以同样的逻辑理论为基础,而是分别以三值逻辑和二值逻辑为基础的结果,因而,它们并不能使人陷入"二难"的境地.     

多元逻辑函数的基础等价变值表示

传统的逻辑函数表示以AND-OR和OR-AND这2种逻辑函数标准范式为代表.基于变值逻辑体系,描述了一类基础等价变值表示,将经典的多元逻辑表达式转化成为变值等价表示形式.选择二元0-1函数集合列表,按真值和变值表示作为典型示例,并给出了2个函数表示结果.     

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

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

一种改进的四值逻辑函数的图形化简法

针对用图形化简多变量的多值逻辑函数时遇到的困难，提出了三维Ｋ图的概念，利用三维Ｋ图，并采用适当的排列方式和规则，可对三、四变量的四值逻辑函数进行简便，直观的化简。     

一阶逻辑模型生成器的实现

介绍了SAT问题的各种求解方法及一阶逻辑模型生成的两种方法, 在此基础上给出实现一阶逻辑模型生成器FOLMG的各个实现步骤. 并对实现的模型生成器与MACE进行了对比测试与结果分析.     

Propositional Vector Logic System and Its Adequacy Thcorem

With the paradigm of holistic thinking and multiple per-spectives,an overall new understanding of logic is ob-tained for reasoning in collective intelligent systems(CIS).Based on the hypothesis of multiple resolutions ofreasoning in CIS,the logical state of a proposition isgeneralized into an n-dimensional vector whose elementis either 1 or 0.In contrast with classical logic with bina-ry truth-values,a propositional vector logic system isconstructed by introducing new connectives,new axi-oms,and new rules.Adequate sets of connectives areprovided.The soundness theorem and the adequacy the-orem for the vector logic system are shown.     

集成电路芯片组合逻辑辨识实验系统的研制

文章围绕数字集成电路芯片组合逻辑关系判别问题,主要探究了芯片电气属性判定方法、多输入变量的逻辑简化以及芯片逻辑关系测试。在设计过程中,首先通过实验手段提出判定芯片引脚的方法,即分辨出输入引脚、输出引脚、电源和地引脚。在此基础上,利用PIC16F877A单片机和Visual Basic软件共同完成芯片逻辑关系的测试。测试出来的真值表再经由Boolean Minimizer软件进行逻辑简化,最终得到了最简的输入输出之间的逻辑关系。实验证明系统运行快捷,辨识结果可靠。     

向量值一阶逻辑及其可靠性定理

讨论了向量值一阶逻辑形式系统。通过对于在智能系统多认知环境下事物逻辑性质的分析,把逻辑真值推广到一个n维向量。在对于向量值命题逻辑形式语言建立可靠性定理与完备性定理的讨论基础上,这里进一步建立了向量值一阶逻辑形式系统,证明了它的可靠性定理。     

对半符号逻辑的思考——从教育的观点看

半符号逻辑是一种新的逻辑分支,它试图突破传统和现代逻辑的局限性,建立一种既严格又易于掌握的逻辑体系。本文从逻辑教育的角度对其本身提出质疑,认为它并不有益于逻辑的研究和教学。     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.