ImageVerifierCode 换一换
格式:DOCX , 页数:29 ,大小:64.09KB ,
资源ID:5361628      下载积分:3 金币
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.bdocx.com/down/5361628.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录   QQ登录  

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(《逻辑学》完整版笔记整理复习过程.docx)为本站会员(b****5)主动上传,冰豆网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知冰豆网(发送邮件至service@bdocx.com或直接QQ联系客服),我们立即给予删除!

《逻辑学》完整版笔记整理复习过程.docx

1、逻辑学完整版笔记整理复习过程逻辑学完整版笔记整理1.逻辑是一 门和方 法、原 则、规 范紧密 相关的 人文学 科。她探 索和研 究的是 我们进 行推理(reas oninginferen ce)时应该使 用的方 法、技 巧、标第一章绪言第一节逻辑”的含义一、逻辑的词源1.逻辑一词源出于希腊文的 逻各斯”(logos,复数形式是logoi)。古希腊的哲学家赫拉克利特据说有专论逻各斯的著作逻各斯。逻各斯的基本词义是言辞、秩序和规律。言语是这一语词的原创义,然后在 此基本词义基础上派生出理性、理想、推理论证等词义。2.逻各斯演变为逻辑”一词最先是由斯多葛学派使用;看作是由论辩术和修辞学两部分构成的理

2、论。古罗马和欧洲中世纪的逻辑学家也在这种意义上来看待 逻辑”一词。其后,逻辑一词的含义就一直和推理与论辩的方法和原则相关。3.逻辑一词传入中国严复开始,按逻辑此翻名学。其名义始于希腊,为逻各斯一根之转 ” 严复翻译的时间大约在19世纪末;再过十多年后,由章士钊正式在汉语中定名,作为讨论思维、讨论推理的规 范和秩序的学问4.为什么logic要翻译为逻辑?逻辑学是有点特殊的学科。特殊在什么地方?学科名的特殊和学科内容的特殊。中国历史上和逻辑对应的学科?逻辑究竟研究什么?、什么是逻辑? 准和原则。逻辑是一门讲道理的学科。 逻辑总是和语言相关。逻辑总是和论证证明推理相关。p22.三个方向的推理追寻历史

3、:一个事件出现了,我们寻求其产生的原因,案件、历史、文物等,向后的推导。确定目标:未来可能出现的事件,这是向前的推理。演绎推理:没有时空条件的推理,数学和逻辑。几何证明和数学计算。第二节逻辑历史简述一、古典逻辑1.古希腊哲学家亚里士多德公认为是逻辑学之父。2.亚里士多德创立逻辑学科的标志是他所撰写的逻辑专著,这些讨论逻辑问题的专著有范畴篇、解释篇、分析前篇、分析后篇、论辩 篇和辩谬篇,这些篇章后来合编为工具论一书。3.亚里士多德的三段论逻辑(第四章)4.斯多葛学派的逻辑亚里士多德是现代形式逻辑的创始人,斯多葛学派稍后于亚里士多德,大约 晚2个世纪。他们创立了命题逻辑雏形。(第三章)就形式逻辑学

4、科而言,这两大逻辑学派都应该看作是现代形式逻辑的祖先。Formal logic希腊: 亚里士多德逻辑学5.逻辑的三大源流 中国:名辩学,墨子,公孙龙子印度:佛教因明学,玄奘二、 近代逻辑(主要是以下几位哲学家的工作)英国哲学家培根(1561年-1626):年归纳逻辑(经验论哲学家)法国哲学家笛卡儿(1596年-1650年)强调演绎逻辑的重要性(唯理论哲学家)、知识的两大来源:直觉和演绎德国哲学家莱布尼咨(1646年-1716年)一一普遍语言的设想(莱布尼兹简介:莱布尼兹是17、18世纪之交德国最重要的数学家、物理学家、哲学家和逻辑学家,一个举世罕见的科学天才。他博览群书,涉猎百科, 对丰富人类

5、的科学知识宝库做出了不可磨灭的贡献。)三、 逻辑学的现代发展布尔(英国人)(1815-1864)类演算,布尔代数w弗雷格(德国人)(1848-1925)概念语言(一种普遍语言)罗素和怀特海(英国人)(1872-1970)( 1861-1947) 数学原理皮尔斯(美国人)(1839-1914)关系逻辑布尔的研究大致可分为逻辑和数学两部分他在数学上的成就是多方面的但在逻辑方面,他的主要贡献就是用一套符号来进行逻辑演算,即逻辑的 数学化.大约200年以前,G. W.莱布尼茨(Leibniz)曾经探索过这一问题,但 最终没有找到精确有效的表示方法.因为它牵涉到改进亚里士多德 (Aristoteles)

6、的工作,而人们对于改进亚里士多德的工作的尝试总有点犹豫不决.布尔凭着 他卓越的才干,创造了逻辑代数系统,从而基本上完成了逻辑的演算工作 .o第三节语 言,思 维和逻 辑 一、理 性和逻 辑理性(reason)o而英文 的理性 一词取 其行为 动词的 含义, 就变成 了推理(reasoning)o理 性就表 现为我布尔使逻辑学从传统走向现代。们人类的推理能力,正是有推理能力这一点,人类才和没有理性思维能力的动 物区分开来。理性的理论方面就在于:要把我们的信念建立在证据上,而不是建立在愿 望、成见或传说之上。按照这个论题,一个有理性的人就同一个审判官或一个 科学家是一样的人。人的认识分为理性认识和

7、感性认识。理性认识阶段,也就是我们所讲的思维,思维是对对象的理性认识。罗素著真与爱一罗素散文集。二、自然语言和人工语言古典逻辑使用自然语言(又称日常语言,是指人们在日常生活中、一定的语 言范围中所使用的某种民族语言。)第二章逻辑思维的基本规律现代逻辑使用人工语言(即指人们根据特殊需要而自觉创造的符号或符号体 系,其根本属性是人工制造),第三章和第四章讲到的逻辑就是一种人工语 言,数学物理化学等学科使用的语言也是一种人工语言。这种语言比自然语言 更精确,可以避免自然语言的歧义与模糊。第一节概述-思维一、 保持思维确定性的基本规律逻辑的基本规律是指人们在运用各种思维形式进行思维时所必须遵守的起码的

8、 逻辑准则。适用于一切理性思维;所以说是普遍有效的规律概括了逻辑思维的基本特征,思维确定性或者逻辑性(条理和秩序性)二、 逻辑规律的三同一:同一时间,同一关系和同一对象逻辑基本规律的经典论述逻辑基本规律的哲学思考理解逻辑规律的知识背景:逻辑和语言的对应三、 逻辑基本规律的经典论述1同一律:在同一思维过程中,每一思想的自身都具有同一性,每一思想都必 须与自身保持一致。2、 矛盾律:同一事物,不可能在同一时间内既存在又不存在,也不允许有以同 样方式与自身对立的东西。3、 排中律:同样地,在相互矛盾的判断之间不允许有任何居间的东西,但必须 是对同一个东西的同一方面予以肯定或否定。如果我们首先把真实与

9、虚假加以 规定。四、 思维规律的哲学思考唯心论,唯物论;形而上学,辩证法;的基本 要求, 如同公 理一般 的东 西,但 也是可 以质疑 的,质 疑的结 果不是 否定, 而是换 一个思 路,放 在一个 更可以 想象的 范围之 内。牛顿力学和约定论和反映论;语言规定还是逻辑规定?相对论,欧式几何和非欧几何 五、理解逻辑规律的知识背景1语词(单词)、语句(陈述)和句组(句群)II II II概念(词项)、命题(判断)和推理(论证)概念的一纸两面:内涵和外延;命题的一纸两面:意义和真假;两种推理:有效的推理和非有效的推理为了更高的抽象,为了去除自然语言的多义,也为了表达式的简洁和经济,我们在这里用大写

10、英文符号ABC,表示任意概念或者命题。2、逻辑不存在清规戒律对逻辑来说不存在清规戒律,每个人都可以构造自己的逻辑,即他自己的语 言形式,只要他愿意,对他的唯一要求是:如果他想讨论这种逻辑,那么他必 须清楚他的方法,并给出语法规则,而不是给出哲学依据。卡尔那普。第二节同一律思想必须与自身一致,我们所有的确信也必须彼此一致。柏拉图全集菲多篇任何真实的事物,必定在任何方面与它自身一致。亚里士多德工具论1同一律的表述A=A :数学表述;A是A :变量和;A - A :逻辑连接词思维确定性的标志;自然语言的模糊需要这样一个规则来保证语言和思维的规定性和准确性。第四节2、同一律的两类情形在同一个思维过程中

11、,必须保持概念自身的同一;否则就会出现“混淆概念”或 排中律1、排中律的表述者“偷换概念”的错误;p17(混淆词项:指在同一思维过程中,无意地将两个内涵与外延不同的词项混 淆。偷换词项:指在同一思维过程中,有意地把两个不同的词项混为一谈。) A或在同一思维过程中,必须保持论题自身的同一;否则就会犯“转移论题”或者“偷 者非 换论题”的错误(转移论点:指在思维过程中不自觉地用另一个论点代替了原来的论点偷换论题:指故意将一个论题转换为另一个论题。)第三节矛盾律1、 矛盾律的表述A工円A A不是非A 円(A A)思维确定性最重要的标志;思维需要这样一个规则来保证思维的逻辑性,一 致性和准确性(反证法

12、和归谬法)2、 用归谬法证明物理定律(Eg:伽利略的实验可以用推理来说明这个结论)假定一一我们要证明命题p”重快轻慢”为假(不成立),现在假定円p ”重快 轻慢”为真(成立)。在假定基础上的推理现在问:把一重一轻的东西放在一起下落,它是快还是慢?矛盾律的要点:自相矛盾 (p20,例子)盾律的另一种表述方式。互相矛盾的两个命题之间,没有第三种取值可能性。(反证法和归谬法)3、排中律的要点一一在一般的语言表述中很少违反排中律。因为我们的日常语言很少仅是正反两 方面,只有逻辑和数学是把很多符号归为两方面。模棱两可的规定不严格。但传统逻辑一直这么做,就延续下来了。*三个规律之间的关系一、 用现代逻辑的

13、符号表示这些规律,它们都属于有效公式:Af A =(A A 円A) = A V 円A二、 同一律是就一个语言对象而言的,语言对象在一个时间区间之中;矛盾律 是就两个语言对象而言的,几乎是同时的;排中律则是就三个语言对象而言 的,也几乎是同时的。第三章命题逻辑第一节命题逻辑概述、命题()命题是什么?1命题就是通过语句对对象情况有所反映的思维形式。描述或者评价我们所经历,所想象,所关心的一切对象的一般方式有两种:一 是要给对象一个名字,这个结果称之为: ;一是把对象和任意一个其他对象联系起来,形成我们的描述或者评价,这个结 果称之为:。2、命题的逻辑特征语言学家关心的语句和逻辑学家关心的命题。语言

14、形式和思维形式。思维的三种形式:概念,命题和推理。都是逻辑学研究的对象。这对应于语言的语词,语句和句组或者句段。 逻辑学对命题的基本假定:任何命题都是有真假值的思维形式,二值假定,二 值原则。(二) 命题与语句第一,任何命题都要通过语句来表达,但并非任何语句都表达命题。第二,同一个命题可以用不同的语句来表达。第三,同一个语句,有时可以表达不同的命题。(歧义)(三) 命题的分类一一简单命题与复合命题。1简单命题其组成成份是词项,它不再包含命题,因此,我们也可以把简单命 题称作原子命题” p30命题1,2,3。2、复合命题是由简单命题与联结简单命题的联结词组成的,或者说,复合命题 是用命题与联结词

15、组成的。命题 4, 5, 6。 复合命题=简单命题+关联词组成复合命 题的那 些命题 谓之复 合命题 的支命 题,支 命题可 以是简 单命 题,也 可以是 复合命 题。如 果一个 复合命 题的支 命题也 是复合 命题, 则我们谓之多3、支命题,多重复合命题重复合命题。一一命题逻辑研究的是复合命题及其推理。二、推理(一)推理及其逻辑构成1推理就是从已有的知识得出新的知识。因此,推理也就是从已知命题得出新命题的思维形式,它在思维形式上表现为一个命题序列。在语言形式上表现为一个语句系列。2、 任何推理都由两部分组成:一是推理中的已知命题,我们谓之前提;一是所推出的新命题,我们谓之结论。3、 推理的识

16、别最主要的语言标志:因为,所以。数学逻辑符号标志:,二。此外还有,“由于.,以至所以“之所以.有时候,在一些推理中人们省略或者不用这些语词标识,而由人们凭句子之间的意义关联去区分前提与结论。4、 推理的特征已知:前提求证:结论证明:推理,是因为推理的逻辑学考察从前提推导出结论时,这些结论是有效的还是可靠的?分类一一演绎推理与归纳推理为计算1演绎推理是由一般性前提推出特殊性结论即所谓由一般到特殊的推理。也称必然性的推理,即只要前提真就能确保结论必然真的推理;2、 归纳推理是指由特殊到一般的推理。也称或然性的推理,即前提真不一定能 确保结论真,前提只对结论提供一定的支持关系的推理。(三)演绎推理的

17、有效性与可靠性1演绎推理的有效性,指的是推理形式的有效性,它与前提或结论本身的真假 是无关的:只要保证假定前提真,结论就一定真,则该推理有效,至于前提如 果为假,则结论的真假就无法保证了。 p322演绎推理的可靠性则不仅要求推理形式有效,而且要求推理的前提本身事实 上必须真,相应地也要求结论一定真。3、 命题逻辑的创立斯多葛学派最早探索了命题逻辑;如果第一,那么第二;第一,所以,第. 。斯多葛哲学学派是塞浦路斯岛人芝诺(约公元前336约前264年)于公元前 300年左右在雅典创立的学派,由于他通常在雅典的画廊讲学,故称之为画廊学派 或斯多葛派.斯葛多派认为世界理性决定事物的发展变化 克吕西波,

18、费罗和第奥多鲁斯讨论条件句:如果是白天,那么天是亮的。乔治布尔奠定了雏形1847年,发表了著作The Mathematical Analysis of Logic,在这本书中,阐述了正式的逻辑学公理,建立了布尔代数(也称逻辑代数)。他的逻辑理论建机的二进制数、开 关逻辑 元件和 逻辑电 路的设 计铺平 了道路,并 最终为 计算机 的发明 奠定了 数学基 础。弗雷 格和皮 尔斯创 立现代 逻辑立在两个逻辑值0、1和三个运算符与、或、非的基础上,这种简化的二值逻辑弗雷格,1848-1925,德国人,1880年建立命题逻辑;皮尔斯,1839-1914,美国人,1880年建立命题逻辑;依据不同思路,各

19、自独立地建立命题逻辑;*非数值算法:一个推理实例一一王教授、胡教授和赵教授3人各自执教逻辑、伦理、哲学、政治、法学、历史六门课程中的两门,请根据以下条件推断他们各自执教哪两门课程?1、伦理学教授和政治学教授是邻居;2、王教授年龄最小;3、 赵教授,逻辑学教授和政治学教授这 3人经常从学校一起回家;4、 逻辑学教授比历史学教授的年龄大;5、 哲学教授,历史教授和王教授在双休日喜欢打乒乓球。解题思路一一1、 分清题目的前提,从前提推出结论;2、理解一个命题蕴涵的其他命题;3、 使用命题的二值假定;4、使用命题逻辑中的一些推理格式;5、得出确定的结论。推理题实例.doc有效性体现4、 逻辑学教授比历

20、史学教授的年龄大;2、 王教授年龄最小;可以代之以符号A比B年龄大,A BA表示王教授,年龄最小,我们可以推得:a Bv A这就是有效性推理p32例2第二节复合命题及其推理学前补充 (一)知识背景1:半形式的刻画,对应自然语言知识背景2:常项和变项1、 常项一一不同的逻辑联结词都有相对固定的意义,它们就是一个复合命题中 的常项。它相当于数学中的加法和减法等运算。这些常项可以用更为精确的符 号来表示,以去除自然语言的歧义和模糊:语言中最常用的连接词:并且,或者,并非,如果那么。2、 变项一一联结词旁边的空位,可以代入不同的支命题,因代入命题的不同, 复合命题的真值也会产生相应的变化。这些命题空位

21、,看作是复合命题的命题 变项。复合命题的一些表格借用数学中的常元和变元概念把一个复合命题也分成两个部分:常项和变项。3、 逻辑连接词是常项:意义固定;命题符号是变项:因代入不同,真值不同。4、 复合命题符号表达式把支命题看成是命题变项,就能够在更一般的意义上讨论各种不同的推理形 式,也使得我们可以用符号(常用小写字母 p、q、r、s等来代表)来表示它 们。5、 命题变项的解释以p A q为例:p,q代表任意命题以3+5=8,4+6=10代p和q,贝U p A q是真命题;以3+4=8, 4+6=10代p和q,贝U p A q是假命题;负命题:与原命题真假相反一、复 合命题 的类型(一)联言命

22、题1、自然语言 带有并 列连接 词的复 句P33,但意义 更精确,而 且有严 格的定 收集于网络,如有侵权请联系管理员删除义。例如:不仅结了婚,而且生了孩子。 京城无孩体健貌端。(三)2用单义符号人表示联言。用真值表定义逻辑连接词选言命以两个为基础,两个以上也得到定义。例如: p A qA r A s也为真。题(二)假言命题1、相因为有三种条件所以有三种假言命题,三类联结词:充分条件、必要条件和容选言充分必要条件逻辑联结词。命题前件和后件:表示条件的支命题叫做前件,表示结果的支命题叫做后件。选言命1充分条件假言命题:蕴涵式题就是自然语言带有条件连接词的复句,但意义更精确,而且有严格的定义。反映

23、几“如果那么、只要就、假使那么、要么则”等等,例如:种事物如果我得奖,那么我请客。情况中用单义符号一表示假言。用真值表定义逻辑连接词 。至少有以两个为基础,两个以上也得到定义。一种为2必要条件假言命题:逆蕴涵式真的命自然语言带有必要条件连接词的复句,但意义更精确,而且有严格的定义。题。“只有才能、仅当才、除非不、没有就没有”等等自然语 言带有例如:只有一个人年满十八岁,他才有选举权。选择连 接词的符号。用真值表定义逻辑连接词 、以两个为基础,两个以上也得到定义。复句, 但意义3、充分必要条件假言命题/充要条件命题:双向蕴涵式更精确,而自然语言带有充要条件连接词的复句,但意义更精确,而且有严格的

24、定义。且有严格的定例如:当且仅当a=b,才有b=a。如果a,那么b,并且只有a,才b。义。 例如:用单义符号?表示充要假言。用真值表定义逻辑连接词 ?,充要等值胜者或因其以两个为基础,两个以上也得到定义。强,或 因其指二、复 合命题 的基本 推理模 式复合命题的挥得当。用单义符号V表示相容选言。用真值表定义逻辑连接词V 。以两个为基础,两个以上也得到定义。2、不相容选言命题反映的几种事物情况中至少有一个是真的且只能有一个为真的命题。“不是、,就是、;要么、,要么、;要就是、,要就是、;例如:要就选小张为优秀,要就选小李。选择意义可以任意更替原子命题位置而不改变复合命题的值;如同加法和乘法 中的

25、数字一样;如此才能用真值表定义不相容析取逻辑联结词V。(四)负命题否定联结词:对一个命题予以否定的逻辑联结词称之为否定联结词。Eg:并非;并不是;是假的;是不成立的;是错误的,是不正确的;不是真的 负命题:一个命题带有对整个命题予以否定的否定词,这个命题就和否定词一 起构成了一个负命题。负命题反映了对支命题的否定关系。否定词用表示。例如:如果一个人发烧,那么这个人就得了肺炎,这个说法是不成立的。推理指的就是前提或结论中包含复合命题,根据复合命题的逻辑性质而进行的 推理。有四种类型。(一)联言推理联言推理分解式2、联言推理合成式pA q qp, q,或者所以,p并且q,PA q pP, q P

26、A q(二)选言推理3、相容选言推理的 否定肯定式4不相容选言推理的 否定肯定式5不相容选言推理的 冃疋否疋式或者p,或者q,要么p,要么q,:要么p,要么q,非q,非pp所以p所以,q所以,非q相容选言推理有效不相容选言推理符号不相容选言推理的符式符号表述:推理形式:号推理形式:(pV q)A q )(pVo q)A p )(pV q)A p )pqq(三)假言推理充分条件假言 推理的肯定前 件式充分条件假言推 理的否定后件式必要条件假言 推理的肯定后 件式必要条件假言 推理的否定前 件式如果p,那么:如果p,那么q只有p,才能qr只有p,才能qq非q非pqp所以,非p所以,非q所以,p所以

27、,q符号形式为:符号形式为:符号形式为:用符号表示(p q)A(p q)A(p J q)A为:(p q)Ap) qq) pp) qq) p充要条件假言充要条件假言推充要条件假言充要条件假言推理的肯定前理的肯定后件式推理的否定前推理的否定后件式件式件式注意:蕴涵和演绎推理的区别和联系蕴涵式用真值表定义;演绎推理也可以用一表示(p42)演绎推理相当于充分条件和其结果之间的关系,前件的内容等值或者包含着后 件。等值推理体现等值,蕴涵式推理体现包含。实际上,联言合成和分解,选言推理格式和后面的推理格式都体现这种特征。 命题逻辑有一个演绎推理。(四)假言推理的派生形式二难推理简述普罗塔哥拉(约公元前48

28、1年-约公元前411年)古希腊智者学派的著名哲学家。他在收受弟子教人打官司时都要和对方订下合 同,学生开学时先交一半学费,毕业后第一次出庭胜诉时再交付另一半学费。 学生欧提勒士学成后一直不肯出庭替人打官司,当然也就不会交付另一半学 费。普罗塔哥拉决定起诉他。在法庭上,老师志在必得地说: 如果你在此案中胜诉,你就应按合同约定交付学费; 如果你在此案中败诉,你就必须按法院判决付给我学费。推理二 难简述 欧提勒 士则针 锋相对 地回答:老 师你错 了,这 官司无 论胜负 我都不 用付学 费。因为:如果我 胜诉, 根据法 庭判决 我不用 付学 费;总之,无论胜诉还是败诉,你都要付给我另一半学费。如果我

29、败诉,根据合同的约定,我也不用交付学费。或者我胜诉,或者我败诉,我都不用付学费。双方都从真实性难以怀疑的前提出发,却得出了两个完全相反的结论,让法官难以判决。这就是历史上著名的“普罗塔哥拉悖论”,也称为“半费诉讼”。这是二难推理的典型案例。具体公式见p47蕴涵式推理上述13种推理可看作蕴涵式推理,由于具有充分条件逻辑关系的前件和后件是一种蕴涵关系,这实际上就是一种推导关系,蕴涵词用一表示,也常常用来 表达演绎推理。蕴涵词所带的前件是这一演绎推理的前提,蕴涵词所带的后件 是这一推理的结论。命题逻辑的演绎定理。所以,蕴涵词不仅是一种表达复合命题的逻辑联结词,蕴涵词也可以不那么严 格地作为表达复合命题推理的符号。等值推理由于充分必要条件前件和后件之间的等值关系也实际上是一种推导关系,等值词也常常用来表达演绎推理中的等值推理。等值词所带的前件是这一演绎推理的前提,等值词所带的后件是这一推理的结 论。本教案略去了这一内容。第三节命 题演算、重言式及其判定7、真(一)真值联结词、真值形式1命题的真假二值,我们称为命题的真值。2、 现代逻辑在研究复合命题时所涉及的联结词,是一种真值联结词。所谓真值

copyright@ 2008-2022 冰豆网网站版权所有

经营许可证编号:鄂ICP备2022015515号-1