一个直观性很强的真值表

逻辑学是以思维形式为主要研究对象的科学。普通逻辑研究思维形式是研究某一思维形式的真假逻辑特征和各种思维形式之间的真假逻辑关系。就这一方面而论,命题这一思维形式表现更为明显,不管是简单命题还是复合命题均如此。某一复合命题的真假逻辑特征和复合命题之间的真假逻辑关系的判定,目前逻辑学界普遍借助于一种图表——真值表,这种真值表包括命题变项的真假情况组合部分和在命题变项的某种组合下,复合命题逻辑特征所显示的真假值部分。例如,要判定p∧q的真假值,可作真假表如下:(我们用“1”表示“真”,用“0”表示“假”)     

真值表方法质疑

在复合判断直接推理中,真值表方法的应用频率之高较为明显。它将一组判断各自可能的若干真假情况一一对应排列,然后鉴定其真值是否相等、几者之间是否可以互推,显得十分简明、直观,而且一般认为十分精确。如果可以把逻辑推理比作数学演算的话,真值表方法就好象用火柴杆做加减法,只要数量数得不错,答案似乎就应是无庸     

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

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

真值表方法的功能

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

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

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

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

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

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

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

例析几组命题间的关系

在“简易逻辑”教学过程中,发现学生对有些复合命题真假的判断感到困惑,甚至怀疑复合命题的真值表.为帮助同学们理解掌握有关知识,本文对几组命题间的关系举例分析.     

简记卡诺图和真值表

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

二次复合函数单调性的直观判定法

近年来,全国及广东、上海等地高考数学试题中,都有判定二次复合函数y=f[g(x)]单调性的题目。由于这类函数图象一般不易做出,加之受中间变量的限制,因此判定其单调性的问题就变得比较抽象,考生解答时常常感到十分困难。为此,本文介绍一种直观判定二次复合函数单调性的方法“两函数图象分析法”,其目的是避开考生抽象思维的弱点,以确保考生快速、准确地解决问题。     

一个直观性很强的真值表

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

用假设法解三类物理题

在物理解题过程中,常常遇到似是而非,不能一下子就能作出直观判断的题目,如果能够适当地运用“假设法”,往往能迅速地得到正确的判定。下面就三类问题谈谈“假设法”在物理解题中的应用。     

普通逻辑学习纲要(二)

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

真值表:从自然语言到形式语言的桥梁

逻辑科学、语言科学和计算机科学日益发展,对自然语言进行精密的逻辑分析的要求越来越高。对复杂的自然语言语句采用直观的形式化方法面临着困境。本文在自然语言形式化过程中引入真值表法,在实例运用、可行性与必要性、运用步骤等方面作了探讨,以期对自然语言作出更为精确可靠的形式化。     

真值表与假言命题

真值表对假言命题的真值形式的定义不符合假言命题的直观含义。真值表所刻画的是真值形式与其所含命题变元之间的真值函数关系，而假言命题反映的则是其支命题之间的真假制约关系。有人从对真值表的错误理解出发，试图否定真值表不符合假言命题的直观意义，这完全是徒劳的。     

关于数学"命题"教学的探究

掌握命题种类,正确判断简单命题、复合命题及“且”、“或”、“非”的判定。     

浅谈《简易逻辑》的省略

《简易逻辑》一章主要包括 :复合命题与逻辑联结词 ,命题充要关系三部分内容 .由于形式逻辑要求语言精确 ,我们对命题不能随意省略 .1　由于省略 ,导致“ｐ或 ｑ”出错例 1　ｐ :实数的平方是正数 ;ｑ :实数的平方是0 ,写出“ｐ或 ｑ”的复合命题 ,并判定真假。误解　 ｐ或 ｑ“实数的平方是正数或 0”是真命题 .分析　 ｐ假 ,ｑ假 ,按真值表 ,ｐ或 ｑ也是假命题 .正确答案　“ｐ或ｑ”实数的平方是正数或实数的平方是 0 ,假命题 .点评　本题错在盲目省略 ,实数的平方是正数或 0是一个简单命题 .含有“或、且、非”的命题不一定是复合命题 .…     

充要条件的判断策略

“充要条件”是高中数学中的一个重要概念,它的应用贯穿于数学各个分支,在其他学科以及生产实践中都有广泛的应用。本文着重介绍判断“充要条件”的三种策略,供同学们学习时参考。一、利用真值表判断“或”、“且”、“非”是三个最基本的逻辑联结词。“或”的含义是:一真必真,都假才假。“且”的含义是:一假必假,都真才真。     

命题真假的判断

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

简易逻辑复习指导

一、考纲要求理解逻辑联结词“或”、“且”、“非”的含义;理解四种命题及其相互关系;掌握充分条件、必要条件及充要条件的意义.二、基础知识1.判断“p且q”形式复合命题真假:“一假必假”.判断“p或q”形式复合命题真假:“一真必真”.判断“非p”形式复合命题真假:“真假相对”.2.p(?)q表示p是q的充分条件.q是p的必要条件.