判定复合判断等值关系新法初探

要判定一组复合判断中的几个判断是否等值,目前采用的方法有二:一是“直观法”;二是“真值表法”。直观法一般用于用文字表达的、比较简单的复合判断组,即便这样,其判定结果也并不十分可靠。所以,通常普遍采用的是“真值表法”。“真值表法”较之“直观法”来说无疑是很可靠的,但显得有点繁琐复杂。因为,运用“真值表法”不但要熟记各种复合判断的真值情况,而且每解一题就得画一次真值表,同时,更为困难的是,一旦遇到比较复杂的复合判断组,列起真值表来,往往会使人眼花瞭乱,极易搞错,还很难一下子检查出错在哪个环节上。     

关于复合判断等值证明的方法初探

本文认为关于复合判断等值证明的方法,除一般常用的真值表法外,还有转换法与负判断法。所谓转换法是指将一种复合判断转换成另一种复合判断,以观其是否等值的方法。所谓负判断法是指将负判断引入证明过程,推出负判断,以观其是否等值的方法。     

负判断相应等值判断的验证

任一负判断都有其一个或几个相应的等值判断,本文通过数理逻辑中的真值表,用数学中的一些方法和步骤,对负判断的等值判断是否成立进行验证,更加有力地说明和论证其科学性。     

对普通逻辑引进实质蕴涵真值表的再思考

近年出版的许多普通逻辑教材在复合判断中,引进了数理逻辑的真值表,用来标示复合判断的逻辑性质。其中,对引进实质蕴涵真值表说明充分条件假言判断的逻辑性质,逻辑学界存在着截然不同的看法。肯定者认为,“真值表的引入使复合判断及其推理的内在联系表现得更加紧密,也使形式逻辑的学科体系表现出更高的形式化程度。”①否定者则指出,“简单地把定义实质蕴涵的真值表用于充分条件假言判断,必然会造成对充分条件假言判断的歪曲。”②分歧的焦点在于:实质蕴涵的真值表是否能够正确标示充分条件假言判断的逻辑性质?本文拟对此问题作一些初步的探讨。     

试论真值表及其在负命题教学中的应用

真值表是关于命题真假值的图表,真值表可以用来定义复合命题中的逻辑联结词。运用真值表法,可以对一个复合命题的真值予以确定,对两个复合命题之间是何种关系进行判别,并可以判明复合命题推理形式是否有效。文章还进一步论述在负命题的教学中,学生较难理解的是复合命题负命题的等值命题。将真值表法应用到负命题教学中,可以通过真值表这个直观的工具,解决学生仅靠自然语言难于理解的问题。使他们进一步掌握复合命题及其等值命题之间的关系,并能够熟练地交替运用。这样就可以使思维灵活全面,使语言表达更加丰富多彩。     

关于判定命题推理有效性真值表化简方法的引申

真仿表方法是命题逻辑的一种重要的方法，它既可以判定一个命题公式是重言式，矛盾式或协调式，也可以判定命题推理是否有效。掌握真值表化简方法对判定命题推理是否有效显得尤为重要。     

真值表方法的功能

早在两千多年前,古希腊学者费罗所发表的言论,已经是真值表方法的萌芽。他说:“一个例言命题是正确的,便不是一个真的起始,和一个假的结尾。”即只要不是“前件真,后件假”就是真的这实际上就是真值蕴涵,即实质蕴涵的早期的陈述。塔斯基曾作过评价说:“这是有趣的事情,关于蕴涵的讨论,在古代就已开始。希腊哲学家费罗在逻辑史上大概是第一个传播了实质涵的用法的人。”随着复合判断推理研究的进展,真值表方法已经成为判定这类推理有效性的强有力的工具。考虑到真值表方法正在被愈来愈多的逻辑工作者重视,大部分新出版的普通逻辑教材已经移用了一部分真值表方法的材料,所以对真值表方法及其功能作进一步探讨、研究似很必要。     

拓展组合逻辑电路的设计方法

在学习组合逻辑电路时 ,教材中给出小规模组合电路的一般设计方法 :实际逻辑问题 逻辑抽象 逻辑真值表 化简 最简函数式→逻辑电路图这种设计方法思路清晰 ,条理清楚 ,为一般组合电路设计问题提供了一种行之有效的普遍方法 .但它有一定的局限性 :当输入逻辑变量增多时 ,列真值表相当麻烦 .n个输入逻辑变量的函数 ,其真值表有 2 n项取值组合 ,当 n>5时 ,真值表的取值组合就大于 32项 ,列表麻烦且易出错 ,由真值表得到表达式就更困难 .本文就类似问题拓展了组合逻辑电路的设计方法 ,提出运用分析综合的方法化此类电路的多输入逻辑变量为少输入…     

简记卡诺图和真值表

逻辑函数通常有真值表、卡诺图、函数式和逻辑图等四种表示方式。它们将事物的因果关系抽象为逻辑理论基础。对某一个逻辑函数其真值表和卡诺图是唯一的,真值表和卡诺图都有直观、明了的优点且利用函数的卡诺图进行化简在变量个数较少时,十分有效。一、真值表所谓真值表就是以代码“0”“1”方式描述事情因果关系的表格称为逻辑真值表。逻辑电路用到的基本逻辑关系有与逻辑,或逻辑和非逻辑,相应的逻辑门为与门,或门及非门等等。其真值表如下：1两输人端与门的真值表与波形图与门的逻辑功能是,输入全部为高电平时输出才是高电平,否则…     

一种常用数字电路芯片功能检测系统

开发了一种芯片功能检测系统,该系统基于实践教学中的与非门、反相器、数据选择器、计数器、译码器、显示译码器等常用芯片进行设计,由上位机和硬件电路两部分组成。上位机用以实现对芯片功能表或真值表的输入、管理及发送;硬件电路负责接收功能表或真值表信号并完成芯片的检测,得出芯片是否损坏或功能是否正常的结果,并显示或报警。本系统可以降低数字电路实践中检测芯片的难度和复杂度,并提高准确度,为实验结果的正确性奠定了基础。     

命题真假的判断

我们知道可以判断真假的语句叫做命题．命题有真有假,判断命题真假的方法有下面两种．一、正面判断命题的真假．对于简单命题而言,可依据所学过的知识进行判断；对于复合命题而言,先判断简单命题的真假,再利用下面的真值表进行判断．简言之,对于p且q形式的复合命题,同真则真；对于p或q形式的复合命题,同假则假；对于非p形式的复合命题,真假相反．     

一个直观性很强的真值表

一个直观性很强的真值表褚木兰逻辑学是以思维形式为主要研究对象的科学。普通逻辑研究思维形式是研究某一思维形式的真假逻辑特性和各种思维形式之间的真假逻辑关系。就这一方面而论，判断这一思维形式表现更为明显，不管是简单判断还是复合判断均如此。某一复合判断的真...     

从“二语习得”研究看语法判断方法

语法判断是二语习得研究中经常用到的方法,最主要的作用是可以对二语学习者的语言能力是否受到普遍语法的制约作出判断。在运用语法判断时,给出学习者一个句子,要求学习者根据语言直觉判断它是否符合语法规范。在二语习得的研究中,研究方法的信度和效度十分重要,在利用语法判断的方法进行研究时,首先要把握其局限性,从信度和效度两个方面对这一方法进行完善。     

主析取范式求法解析

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

浅论批判性学习方法在语文教学中的运用

<正>一、批判性学习方法的定义批判性学习方法是用批判性思维和逻辑思维进行学习的方法。批判性思维由以下技能组成:判断是否在推理上有含糊之处;判断某些陈述是否与其他陈述矛盾;判断结论是否从前提必然得来;判断一个陈述是否详细和精确;判断一个观察陈述是否可靠;判断一个归纳结论是否有正当理由;判断专家所做出的陈述是否可以接受。二、批判性学习方法的作用批判是创新的前提,创新是建立在对旧有思想或事物批判的基础之上的。在创新的过程中,批判性思维     

谈真值表的应用

逻辑代数作为电子计算机和自动控制技术的数学基础,己逐渐成为每一个参加四个现代化建设的普通劳动者必备的知识。而逻辑代数中许多问题的讨论显得既粗象,又繁琐,并且容易出错。如何选取较好的方法来解决这类问题,很值得探讨。 真值表是逻辑代数中的一个重要概念,实践证明运用真值表可以解答逻辑代数中的     

复合判断组合推理的逻辑语法、语义和语用

复合判断组合推理是以复合判断为前提，并采用一定的组合方式而构建的推理。在一一组合方式的基础上，本文首先给出了复合判断组合推理的各种模式，然后对推理模式进行了语义说明，采用真值表的方法对模式的有效性进行了判定。在语用中，着重介绍了各种推理模式的使用方法，并通过构建具体推理对推理模式进行了解释。     

普通逻辑学习纲要(二)

第六章复合判断及其演绎推理(二)学习本章,应注意掌握的重点是:1.什么是充分条件假言直言推理?其推理规则和有效形式是什么?违反推理规则会犯什么逻辑错误?2.什么是必要条件假言直言推理?其推理规则和有效形式是什么?违反推理规则会犯什么逻辑错误。3.什么是充分必要条件假言直言推理?其推理规则和有效形式是什么?违反推理规则会犯什么逻辑错误?4.什么是假言选言推理?它有几种形式?5.什么是负判断?什么是负判断的等值判断和等值推理?重点掌握四种负性质判断及其等值推理、六种复合判断及其等值推理,要记清其等值式。6.掌握用真值表判定两个复合判断是否等值的方法。对上述内容应能做到:第一,掌握充分条件假言直言推理、必要条件假言直言推理、充分必要条件假言直言推理的规则,能正确识别、分析其任一推理是否正确,如不正确,要能指出其违反什么规则。犯了什么逻辑错误,还要能写出其推理的逻辑形式。第二,掌握各种负性质判断和负复合判断的逻辑形式,     

基于真值表搜索的逻辑函数自动化简方法

研究逻辑函数的化简方法具有重要理论价值和实际工程意义。基于真值表和卡诺图的等价性,本文提出一种基于真值表搜索的逻辑函数自动化简方法。在穷举搜索真值表中最小项组基础上,通过检查和合并而实现逻辑函数的自动化简。该方法不受变量数目限制,易于编程,为多变量数字系统的自动化设计提供了一条有效的系统化解决途径。     

离散数学中的主合取范式

在离散数学这本书中求主合取范式有两种方法。本文对这两种方法进一步推广。共给出四种方法。即,真值表法,推演法以及用真值表法求7G的主合取范式,用推演法求7G的主析取范式等四种方法。