徐州做网站软件,wordpress搬家问题,wordpress禁止百度转码,网络营销是什么一种市场营销方式教学视频来源
----第0讲 概要-0.1 讲师介绍0.2 课程内容--第1讲 什么是逻辑学#xff1f;-1.1 “逻辑和逻辑学1.2 推理和推理形式1.3 有效推理形式1.4 逻辑学的特点1.5 逻辑学的基本准则1.6 逻辑学和其他学科的关系1.7 关于本课程《逻辑学概论》---第2讲 逻辑学的产生与发展-…教学视频来源
----第0讲 概要-0.1 讲师介绍0.2 课程内容--第1讲 什么是逻辑学-1.1 “逻辑和逻辑学1.2 推理和推理形式1.3 有效推理形式1.4 逻辑学的特点1.5 逻辑学的基本准则1.6 逻辑学和其他学科的关系1.7 关于本课程《逻辑学概论》---第2讲 逻辑学的产生与发展-2.1 中国古代逻辑思想上2.2 中国古代逻辑思想中2.3 中国古代逻辑思想下2.4 印度古代逻辑2.5 古希腊和中世纪逻辑2.6 近代西方逻辑2.7 数理逻辑的提出和实现2.8 数理逻辑的发展--第3讲 命题联结词及其基本推理形式-3.1 推理和命题3.2 基本命题和复合命题3.3 常用命题联结词及其基本推理形式13.4 常用命题联结词及其基本推理形式23.5 常用命题联结词及其基本推理形式33.6 常用命题联结词及其基本推理形式43.7 常用命题联结词及其基本推理形式53.8 常用命题联结词及其基本推理形式63.9 常用命题联结词及其基本推理形式7-第4讲 复合命题的推理有效推理形式的判定-4.1 重言式、矛盾式和可满足式4.2 具体推理转换为推理形式4.3 推理形式转换为复合命题形式4.4 有效推理形式的判定真值表法4.5 有效推理形式的判定归谬赋值法--第5讲 复合命题的推理命题联结词的充足集-5.1 命题联结词真值函数5.2 析取范式5.3 为复合命题形式作与之等值的析取范式5.4 合取范式5.5 范式存在定理5.6 命题联结词的充足集5.7 命题联结词的独元充足集---第6讲 命题演算公理系统-6.1 公理系统的构成6.2 命题演算的公理系统L6.3 命题演算公理系统L中的证明6.4 命题演算公理系统L中的证明续6.5 命题演算公理系统L中的推演--第7讲 命题演算公理系统自然演绎系统-7.1 公理系统出发点的延伸7.2 公理系统的评价7.3 公理系统的性质和评价及其意义7.4 命题演算的自然演绎系统7.5 命题演算自然演绎系统中的证明和推演--第8讲 基本命题的构成-8.1 基本命题的结构8.2 词项的内涵和外延8.3 词项的种类8.4 词项间的关系8.5 词项的定义8.6 词项的划分8.7 谓词的分类8.8 量词8.9 联词-第9讲 传统逻辑中基本命题的推理-9.1 基本命题的推理9.2 传统逻辑对基本命题的分析9.3 性质命题中主、谓词的周延9.4 命题变形的推理9.5 根据对当关系的推理9.6 三段论9.7 三段论的式与格9.8 有效三段论的判定--第10讲 基本命题的推理-10.1 性质命题10.2 主词非空的预设10.3 关系命题的结构10.4 关系命题根据量词的推理10.5 关系命题根据谓词性质的推理方法10.6 谓词演算简介-第11讲 非经典逻辑的初步-11.1 非经典非标准逻辑11.2 多值逻辑11.3 模糊逻辑11.4 模态逻辑11.5 规范逻辑11.6 时态逻辑11.7 弗协调逻辑---第12讲 余论-12.1 演绎和归纳12.2 探求因果关系的逻辑方法12.3 证论和反驳12.4 悖论12.5 本课程《逻辑学概论》内容回顾-
第0讲 概要
0.1 讲师介绍
陈为蓬 清华大学人文学院 副教授
0.2 课程内容
第1讲 什么是逻辑学第2讲 逻辑学的产生与发展第3讲 命题联结词及其基本推理形式第4讲 复合命题的推理有效推理形式的判定第5讲 复合命题的推理命题联结词的充足集第6讲 命题演算公理系统第7讲 命题演算公理系统自然演绎系统第8讲 基本命题的构成第9讲 传统逻辑中基本命题的推理第10讲 基本命题的推理第11讲 非经典逻辑的初步第12讲 余论
第1讲 什么是逻辑学
1.1 “逻辑和逻辑学
什么是逻辑
“逻辑”一词的多种用法:
“事物发展有其内在的逻辑。”“这个人为人处世有他自己的逻辑。”“按照对方辩友的逻辑岂不是说…” 帝国主义者的逻辑和人民的逻辑是这样的不同。捣乱失败再捣乱再失败直至灭亡————这就是帝国主义和世界上一切反动派对待人民事业的逻辑他们决不会违背这个逻辑的。…斗争失败再斗争再失败再斗争直至胜利一这就是人民的逻辑他们也是决不会违背这个逻辑的。 ————(毛泽东:《丢掉幻想准备斗争》) 上面的逻辑与逻辑学中的逻辑相差甚远上面更多的是客观规律行为方式。 “逻辑”一词的另多种用法:
“说话、写文章都要讲逻辑。”“这篇论文结构严谨逻辑严密。”“他的发言颠三倒四逻辑混乱。”
上面的逻辑与逻辑学中的逻辑比较接近但仍然不是逻辑学中研究对象。
逻辑(logic)一词的语源
来自希腊语logos (逻各斯) :世界的可理解的规律;一般的原理和规则;语言、命题、说明、解释、论证;理性、理念、推理、推理能力;尺度、关系、比例、价值;
“逻辑”一词的不同含义:
客观事物的规律性;某种理论、观点、行为方式;比如上面毛主席的话思维的规律、规则;比如文章复合逻辑一门学科即逻辑学。
逻辑学以推理形式为主要研究对象的学科要与日常中逻辑区分开来
1.2 推理和推理形式
推理从已知条件(前提)得出结论的过程
例如侦破案件步骤:
提取材料搜集条件得出结论
侦破案件是一个推理过程
又例如法庭审案根据案卷关于案件的材料、已知条件作出判罚这也是推理过程。
又例如数学上证明定理用公理、定理推出新定理这也是推理过程。
我们日常生活中不经意都会推理例如父母回到家摸电视背后感觉有没有发烫判断小孩在自己进门前是否在观看电视
推理形式:推理的结构
同类的不同具体推理具有共同的结构即推理形式。
所有金属都是导体铜是金属 - 铜是导体所有鸟都是卵生的企鹅是鸟 - 企鹅是卵生的所有A都是BC是A - C是B共同的结构
1.3 有效推理形式 所有金属都是导体铜是金属 - 铜是导体正确 所有A都是BC是A - C是B有效推理形式 所有金属都是导体铜是导体 - 铜是金属不正确反例碳是导体 所有A都是BC是B - C是A无效推理形式
有效推理形式
真前提通过有效推理形式只能得到真结论。即:通过有效推理形式从真前提不会得到假结论。
逻辑研究推理、推理形式
1.4 逻辑学的特点
抽象性应用性工具性
所有的科学在某种意义上都是某一方面的抽象
数理逻辑的公理系统中符号只是符号本身具有非常高的抽象性也就是具有广泛应用性
逻辑是一门高度抽象的学科应用范围广。
欧姆定理 U IR通过实验得出。之后可用数学求出可不再用实验求其中某一值。
数学是物理学和很多学科的工具。逻辑学也一样。 因AB故BA 对因AB故BA 错因A!B故B!A 对
显然它们是正确但“显然”不靠谱。在逻辑学上若两对象关系是对称的则位置可互换否则不行。 由AB和BC可得AC。
显然这是正确。在逻辑学上等于号具有传递的关系
1.5 逻辑学的基本准则
逻辑学研究对象范围很小推理以及与推理有关的问题。
逻辑学的基本准则
同一律 A就是A譬如跑题不矛盾论 不矛盾论就是矛盾律A不是非AA和A的否定不能同时成立排中律A或A的否定必有一真也就是没有中间态 矛盾论A和A的否定不能同时成立但是日常生活中常常描述某事物同时是好是坏如这事物指下雪。
正确的解读 A下雪是好事 A的否定下雪是坏事 A1下雪对冬小麦是好事 A2的否定下雪对交通是坏事
A与A1是不同的 同一律不矛盾论普遍适用
而排中律的适用范围是没有中间状态的而二者互补的
例子
张三是男生张三是女生违反矛盾论张三不是男生张三不是女生违反排中律 日常生活中符不符合逻辑往往就逻辑学的基本准则几方面而言的。
1.6 逻辑学和其他学科的关系
逻辑学与以下学科的关系密切
哲学数学语言学计算机科学
逻辑学最早是作为哲学的一部分存在的。
哲学狭义理解主要解决世界本原问题物质的还是精神的是主观的还是客观的。
本体论和认识论是哲学的核心。
广义理解包括逻辑学伦理学美学 数理逻辑用数学的方法、数学的语言、数学的工具研究推理。数理逻辑的成果为数学基础的研究服务。 语言是逻辑的外壳
语文老师会认为“整个大楼片漆黑只有那个窗户灯火通明。”是不对的因为这两个子句互为矛盾
同样“中国有着世界上任何国家都没有的万里长城”也是不对的。 计算机科学 离散数学
最早的逻辑系统二值是与不是
推理演绎和归纳
演绎从一般到个别归纳从个别到一般
计算机为未做到归纳但能做到演绎
归纳逻辑它的一个任务是要把我们所做的具体的归纳要给出归纳的有效推理形式。
1.7 关于本课程《逻辑学概论》
传统逻辑还是数理逻辑
传统逻辑古典逻辑 古希腊亚里士多德为代表。数理逻辑现代逻辑 西方以莱布尼茨为创始人。
课程内容数理逻辑的基础部分和传统逻辑的常用部分。
数理逻辑不涉及任何一门高等数学的具体内容。
通过具体的推理了解:逻辑的精神、逻辑的方法、逻辑的思路。
第2讲 逻辑学的产生与发展
2.1 中国古代逻辑思想上
逻辑学的产生和发展
了解逻辑学的思路、精神、方法
世界三大逻辑传统
中国印度希腊
中国先秦时代的逻辑思想春秋战国百家争鸣
中国古代逻辑思想不像希腊那样单纯研究推理而是渗透在贯穿在对于其他许多问题的研究与论述当中。
孔子为主要代表 子日觚不觚觚哉!觚哉!————《论语.雍也篇》觚用来喝酒的青铜具 子日必也正名乎! …名不正则言不顺言不顺则事不成事不成则礼乐不兴礼乐不兴则刑罚不中刑罚不中则民无所措手足。故君子名之必可言也言之必可行也。————《论语.子路篇》推理 白马非马 日“马非马可乎?” 日“可。” 日“何哉?” 日: “马者所以命形也。白者所以命色也。命色者非命形也故日白马非马。”… 日“求马黄、黑马皆可致。求白马黄、黑马不可致。” ————公孙龙子《白马论》 传统逻辑日常语言数理逻辑人工语言
例如日常语言的“是”有多种含义“白马非马”的例子需要更精准语言进行描述 2.2 中国古代逻辑思想中 庄子与惠子游于濠梁之上。庄子日“鲦鱼出游从容是鱼之乐也。” 惠子日“子非鱼安知鱼之乐”安哪里怎么惠子的“安”是指“怎么” 庄子日“子非我安知我不知鱼之乐” 惠子日“我非子固不知子矣;子固非鱼也子之不知鱼之乐全矣。” 庄子日“请循其本。子日‘汝安知鱼乐’云者既已知吾知之而问我我知之濠上也。”庄子以“安”作为“哪里”进行回答违反逻辑学的基本准则的同一律 ————《庄子.外篇.秋水第十七》 楚人有鬻盾与矛者誉之日:“吾盾之坚物莫能陷也。”又誉其矛日“吾矛之利于物无不陷也。”或日“以子之矛陷子之盾何如”其人弗能应也。 不可陷之盾与无不陷之矛不可同世而立。说明矛盾律的原理 ————《韩非子.难一》 2.3 中国古代逻辑思想下
类比濠梁之辩递推孔子的正名作为推理手段
墨家
前期墨家:墨家创始人墨翟(墨子约公元前476-前390)本人在世时所组成的学派。
后期墨家:墨翟去世后由其弟子所组成的学派。
《墨子》《墨经》(《墨辩》)
《墨经》经上、经下、经说上、经说下、大取、小取。
知识的来源:亲知我直接感受到的闻知别人告诉我的说知这的“说”是指推理。
知识的内容:名知如知道梧桐树的名字实知如知道梧桐树的具体事物合知如知道梧桐树的名字和它具体事物为知实践如怎么保护它。
提出比较完整的逻辑体系但不是逻辑学的名著。 夫辩者将以明是非之分审治乱之纪明同异之处察名实之理处利害决嫌疑焉。推理很重要 以名举实以辞抒意以说出故。 ————《墨经.小取》 以名举实用不同的名去对应不同的实概念。命题以辞抒意用句子表达一个意思。判断以说出故用推理可以知道事物的原因。推理
为什么逻辑学主要在先秦时期发展百家争鸣
后秦时期主要以儒家思想为主怎么修身齐家治国平天下也就是社会科学和人文科学方面比较看重逻辑学没有太大的成就。
2.4 印度古代逻辑
古代论辩术(公元前5世纪一前3世纪)
正理论
因明
佛教逻辑:因明
创始人:龙树(约2-3世纪间)陈那(约425-495) :开创新因明《因明正理门论》、《集量论》商羯罗主(5世纪):《因明入正理论》宗因喻
佛教有五明
声明医方明因明内明工巧明
因明的三支论式
宗:此山有火因:因有烟故喻:凡有烟均有火如厨房(同喻)。凡无烟均无火如湖(反喻)。
古五支论式宗、因、喻、合、结 因明的东传
玄奘(约600-664)提出“唯识比量“直唯识量”翻译《因明正理门论》、《因明入正理论》。
2.5 古希腊和中世纪逻辑
代表苏格拉底、帕拉图、亚里士多德
亚里士多德 Aristoteles(公元前384-前322 ) 古希腊逻辑集大成者逻辑学之父
《工具论》:范畴篇、解释篇、前分析篇、后分析篇、论辩篇、辨谬篇
三段论理论等 三段论
如所有的金属是导体铜是金属 - 铜是导体 麦加拉——斯多阿学派逻辑构造了命题逻辑系统、构造公理系统
命题逻辑如果铜是金属那么铜是导体 继承发展古希腊和阿拉伯的逻辑思想建立经院逻辑体系
2.6 近代西方逻辑
归纳逻辑
培根 Francis Bacon ( 1561-1626 ) :
《新工具》发现(归纳)思想(演绎)记忆传递授
归纳方法:三表法一一出现表(具有表)不出现表(缺乏表)程度表(比较表)
三段论所有人固有一死苏格拉底是人所以苏格拉底会死。
有效推理形式只要前提对结论就一定对
他认为三段论是演绎从一般到个别不能从中得到新东西但归纳可以。
你怎么知道所有人固有一死但你得知苏格拉底、柏拉图等人都死了可推出人固有一死这个过程称为归纳。 密尔(穆勒) John Stuart Mill ( 1806-1873 ) : 求因果五法 辩证逻辑
康德 I. Kant ( 1724- - 1804 ) 《纯粹理性批判》 先验逻辑
黑格尔G.W.F.Hegel ( 1770-1831 ) 《逻辑学》 思想范畴的辩证发展
2.7 数理逻辑的提出和实现
莱布尼茨Leibniz ( 1646-1716 ) : 《论组合术》
提出关于数理逻辑的思想设想建立“普遍的符号语言”减少传统逻辑的多义歧义所带来争论 思想的字母思维的演算
数理逻辑数学逻辑 mathematical logic不是数学与物理 布尔G.Boole ( 1815-1864 ) : 《逻辑的数学分析》、《思维规律的研究》 创立逻辑代数实现逻辑演算(命题演算)
布尔代数无法解决三段论布尔代数不含量词全部有些部分实现逻辑的演算。 德.摩根 De Morgan ( 1806-1871):
《形式逻辑》、《论三段论III和一般逻辑》、《论三段论IV和关系逻辑》创建关系逻辑
关系逻辑
5 3, 3 2所以5 2上海在北京的南边广州在上海的南边所以广州在北京的南边
两个东西的关系用自然语言是说得清的但两类东西之间的关系加上量词的话就可能会说不清楚。
比如锅比盆大是所有锅比所有盆大还是有些锅比所有盆大还是…
再比如盆大小在碗和盆的之间是所有…好累我笑了 弗雷格 G.Frege ( 1848-1925 ) :《概念文字》 引入量词实现谓词演算 罗素B.Russell ( 1872- -1970) :
《数学原理》(1910-1913) ,合作者:怀特海A.N.Whitehead ( 1861-1947 )建立完备的命题演算和谓词演算成为逻辑演算的经典系统
2.8 数理逻辑的发展
逻辑演算(命题演算、谓词演算)证明论集合论(公理集合论和素朴集合论)递归论模型论
希尔伯特Hilbert ( 1862-1943 )、哥德尔Godel ( 1906-1978 )、图灵Turing ( 1912-1954 )、塔尔斯基Tarski ( 1902-1983 )等人的贡献
逻辑演算命题演算谓词演算 两个演算
四论证明论、集合论、递归论、模型论
数理逻辑内容两个演算四论 非经典逻辑(非标准逻辑)的出现
经典逻辑(标准逻辑)以罗素、怀特海《数学原理》为代表
非经典逻辑(非标准逻辑)多值逻辑不止有真假值模糊逻辑模态逻辑一定不一定广义模态逻辑有时永远弗协调逻辑例外动摇经典逻辑可另建其他系统
经典逻辑的系统是非经典逻辑系统的子系统。
第3讲 命题联结词及其基本推理形式
3.1 推理和命题
推理从前提(已知条件)得出结论的过程。
推理的前提和结论都是命题。
命题对事物及其情况(性质、关系)的陈述。
如北京是一个大城市。性质什么东西怎么样如张三和李四是同班同学。关系
命题的真值命题的真假情况。
每一个命题都有真值这是命题的基本性质
命题是一种陈述命题是一种句子。句子不一定是命题。命题一定是用句子的形式表达。
命题今天这里下雨。命题一定是说什么东西怎么样。
一个句子只要客观上有真假那么这就是一个命题。命题如火星上有生物 有效推理形式:真前提通过有效推理形式只能得到真结论。
即: 通过有效推理形式真前提不会得到假结论。
3.2 基本命题和复合命题
基本命题本身不再包含其他命题的命题。
复合命题由一个或多个基本命题加上命题联结词所构成的命题。
基本命题
今天下雨。今天刮风。
复合命题
今天下雨并且今天刮风。
基本命题和复合命题其真值的确定:
基本命题的真值逻辑学本身不能确定其所陈述的孤立的基本命题的真值。复合命题的真值由作为其组成部分的基本命题之真值和相关的命题联结词之性质所共同决定。对某些有特定结构的复合命题逻辑学本身即可确定其真或假。
互相否定的两个命题是不能同时成立的。矛盾律 复合命题的真值判定的例子
今天下雨。 假
今天刮大风。 真
今天下雨并且今天刮大风。 假 逻辑不能确定基本命题的真假。
逻辑参与确定复合命题的真假。
对于某些有特定结构的复合命题逻辑可以独立地确定它的真和假。
逻辑学研究的不是具体的命题而是同类的具体俞题所共同具有的命题形式即命题结构。
命题形式用一定的符号表示。如以特定符号表示不同的命题连接词而以p表示基本命题。命题proposition )
3.3 常用命题联结词及其基本推理形式1
这里将给出各命题联结词的名称、符号、真值表、基本推理形式。
真值表显示命题形式在各种可能情况下的真值。
在真值表中通常以P1 ,P2, P3, … 或p,q,r,…表示基本命题以T表示真(true) 以F表示假(false)。 常用命题联结词
1否定¬
真值表
p¬pTFFT
基本推理形式双重否定式¬(¬p) - p
自然语言的否定往往带有其他感情色彩而逻辑学的否定是纯粹的所以它们不完全对等。
如我们不得不学习英语。
3.4 常用命题联结词及其基本推理形式2
2合取∧
pqp∧qTTTTFFFTFFFF
自然语言中的“而且”有递进的意思。我毕了业而且考上研究生。若换成我考上研究生而且毕了业。
虽然…但是…也是类似道理逻辑学的合取意思纯粹。
基本推理形式
构成式 p,q - p∧q。
p他数学成绩不错q他英语成绩也不错。p∧q他的数学和英语不错
分解式
p∧q - p, p∧q - q
异位式
p∧q - q∧p
合取的推广
pqrp∧q∧rTTTTTTFFTFTFTFFFFTTFFTFFFFTFFFFF
3.5 常用命题联结词及其基本推理形式3
3析取 ∨
pqp∨qTTTTFTFTTFFF
基本推理形式
构成式 p - p∨q。p真p∨q真异位式 p∨q - q∨p否定肯定式 p∨q, ¬p - q
例如李四和张三同为嫌疑犯后确定不是李四干的所以张三是法外狂徒。 析取的推广
pqrp∨q∨rTTTTTTFTTFTTTFFTFTTTFTFTFFTTFFFF
3.6 常用命题联结词及其基本推理形式4
4不相容析取∀
pqp∀qTTFTFTFTTFFF
基本推理形式
肯定否定式 p∀q, p - ¬q否定肯定式 p∀q, ¬p - q
(p∀q) 与 (p∨q)∧(¬(p∧q))真值相同。
不是张三就是李四作案。张三或李四作案 且 张三和李四不会一同作案
3.7 常用命题联结词及其基本推理形式5
5蕴涵➝
序号pqp➝q1TTT2TFF3FTT4FFT
如果…那么…若…则…一…就…
蕴涵相当于充分条件但不等于
例如如果224那么雪是白的。在自然语言中它们没有内在联系通常是不允许的。而在逻辑学上可以
“蕴涵怪论”
假命题蕴涵任何命题看上表3、4任何命题蕴涵真命题看上表1、3
看起来很怪
举个例子
p比赛输了q我请客p➝q我信用好TTT兑现承诺TF我没请客F我信用差F比赛赢了T我请客T我是好人FFT基本推理形式
肯定前件式 p➝q, p - q我信用很好比赛输了-我请客否定后件式 p➝q, ¬q - ¬p我信用很好我没有请客-比赛赢了异位式 p➝q - (¬q)➝(¬p)比赛输了➝我请客 - 我没请客➝比赛赢了连锁式 p➝q, q➝r - p➝rp➝q, q➝r - (¬r)➝(¬p)p➝q, q➝r, r➝s - p➝r小孩一考试就紧张一紧张就考砸一考砸就被双亲混合双打 - 小孩一考试就挨打p➝q, q➝r, r➝s - (¬s)➝(¬p)小孩一考试就紧张一紧张就考砸一考砸就被双亲混合双打 - 小孩没挨打最近没考试
3.8 常用命题联结词及其基本推理形式6
6反蕴涵 ⟵
pqp⟵qTTTTFTFTFFFT
反蕴涵在汉语里面常用的说法比较少典型的只有一个只有…才…表示相当于必要条件。
在汉语中命题连接词是没有出现而且有的看起来是相同的情况但它所对应的这个命题连接词有时候不一样的比如
不吃不喝合取不去不行蕴涵
pqp⟵q例子TTT只有天气好才去爬山 真TFT天气好我没有爬山 真FTF天气不好我去爬山 假FFT天气不好我没去爬山 真
蕴涵前真 后假 是假的反蕴涵前假 后真 是假的
基本推理形式
肯定后件式 p⟵q, q - p只有天气好才去爬山我爬山了 - 天气好否定前件式 p⟵q, ¬p - ¬q只有天气好才去爬山天气不好 - 我没爬山
p⟵q与q➝p真值相同。
3.9 常用命题联结词及其基本推理形式7
7等值⟷
pqp⟷qTTTTFFFTFFFT
等值的在日常的说法为当且仅当它相当于充分必要条件注意它们不完全一样用可以是一样
基本推理形式 构成式 p➝q, p⟵q - p⟷qp➝q, p➝q - p⟷q 分解式 p⟷q - p➝qp⟷q - p⟵q 异位式 p⟷q - q⟷p
p⟷q
肯定前件式肯定后件式否定前件式否定后件式连锁式 都成立
(p⟷q)与((p➝q)∧(q➝p))真值相同
常用命题连接词的真值表
pq¬pp∧qp∨qp∀qp➝qp⟵qp⟷qTTFTTFTTTTFFFTTFTFFTTFTTTFFFFTFFFTTT
∀, ⟵,⟷ 可被∧, ∨, ¬q取代
与上表可以精简成为
pq¬pp∧qp∨qp➝qTTFTTTTFFFTFFTTFTTFFTFFT
第4讲 复合命题的推理有效推理形式的判定
4.1 重言式、矛盾式和可满足式
根据可能的真值情况命题形式可分为:
重言式(tautology)(永真式) 在任何情况下其真值永远为真。矛盾式(contradiction) (永假式)可满足式(satisfaction) 重言式(tautology)(永真式)(同义反复)在任何情况下其真值永远为真。如p∨(¬q)p➝p
今天下雨或今天不下雨。
可用真值表判定。
p¬pp∨(¬p)TFTFTT
pp➝pTTFT矛盾式(contradiction)(永假式)在任何情况下其真值永远为假。
p¬pp∧(¬p)TFFFTF可满足式(satisfaction)在某些情况下其真值为真而在某些情况下其真值为假。
p¬pTFFT
任何孤立的命题都是可满足式。
4.2 具体推理转换为推理形式
并非今天不是节日 - 今天是节日
¬(¬p) - p 复合命题推理
若今天星期二则今天有课今天是星期二 - 今天有课 | p➝q, p - q若今天星期二则今天有课今天是星期二 - 今天有课若今天星期二则今天有课今天不是星期二 - 今天没课若今天星期二则今天有课今天不是星期二 - 今天没课 | p➝q, ¬p - ¬q
具体推理转换为推理形式:
用逻辑符号(命题变元即基本命题符号、命题联结词符号及括号)把自然语言推理中的前提和结论写成命题形式从而形成推理形式。
4.3 推理形式转换为复合命题形式
前提¬(¬p) - 结论p
推理形式复合命题形式前提p➝q, 前提¬q - 结论¬p((p➝q)∧(¬q))➝(¬q)
推理形式转换为命题形式用蕴涵、合取符号及括号把推理形式转换为复合命题形式。
4.4 有效推理形式的判定真值表法
有效推理形式所对应的复合命题形式当且仅当是重言式。
因此对一个复合命题推理形式是否有效的判定转化为对一个复合命题形式是否为重言式的判定。
推理形式¬(¬p) - p复合命题形式¬(¬p) ➝ p用真值表进行判定推理形式有效性。
p¬p¬(¬p)¬(¬p)➝pTFTTFTFT再比如
推理形式p➝q, ¬q - ¬p复合命题形式((p➝q)∧(¬q))➝(¬p)
((p➝q)∧(¬q))➝(¬p)的真值表
pqp➝q¬q((p➝q)∧(¬q))¬p((p➝q)∧(¬q))➝(¬p)TTTFFFTTFFTFFTFTTFFTTFFTTTTT
最后一列全T所以它是有效推理形式 再比如
推理形式p➝q, ¬p - ¬q复合命题形式((p➝q)∧(¬p))➝(¬q)
pqp➝q¬p((p➝q)∧(¬p))¬q((p➝q)∧(¬p))➝(¬q)TTTFFFTTFFFFTTFTTTTFFFFTTTTT
最后一列有一F反例所以它不是有效推理形式 真值表法:
列出某一命题形式中命题变元的全部真值或真值组合;根据命题变元的真值和相关命题联结词的性质逐步写出在命题变元的各种真值或真值组合下该命题形式的真值;若某一命题形式在命题变元的全部真值或真值组合下其真值均为真则证明该命题形式为重言式。
有效推理形式所对应的复合命题形式当且仅当是重言式。
判定重言式的真值表法是能行的方法即:用机械的方法在有限的步骤内一定可以得到结果。
4.5 有效推理形式的判定归谬赋值法
如果初始命题变元个数过多会造成真值表行数过多。譬如有10个初始命题变元则真值表有2^101024行。于是尝试寻找更简便判定方法。
反证
例如((p➝q)∧(¬p))➝(¬q) 为 F假设((p➝q)∧(¬p))➝(¬q)不是重言式
则(p➝q)∧(¬p)为T¬q为F
则(p➝q)为T(¬p)为Tq为T
则p为Fq为T, 符合(p➝q)为T
故((p➝q)∧(¬p))➝(¬q)不是有效的推理形式。 例如((p➝q)∧(¬q))➝(¬p) 为 F假设((p➝q)∧(¬q))➝(¬p)不是重言式
则(p➝q)∧(¬q)为T¬p为F
则a. (p➝q)为Tb. q为F, p为T
若b. q为F, p为T则(p➝q)为F与a. (p➝q)为T矛盾
所以((p➝q)∧(¬q))➝(¬p)不能不是重言式 归谬赋值法:
假设某一命题形式不是重言式即:该命题形式的命题变元至少存在一种真值或真值组合使得该命题形式的真值为假;基于上述假设对该命题形式赋值以假;根据命题联结词的性质寻找使得上述赋值成立的命题变元真值或真值组合。若能找到(即不出现矛盾)则上述假设成立即该命题形式不是重言式;若不可能找到(即不能不出现矛盾)则上述假设不成立从而证明该命题形式是重言式。 例如((p➝q)∧(q➝r)∧(r➝s))➝((¬s)➝(¬p))为F假设((p➝q)∧(q➝r)∧(r➝s))➝((¬s)➝(¬p))不是重言式
日常例子小孩一考试就紧张一紧张就考砸一考砸就被双亲混合双打 - 小孩没挨打最近没考试
则(p➝q)∧(q➝r)∧(r➝s)为T(¬s)➝(¬p)为F
则p➝q为Tq➝r为Ta. r➝s为Tb. s为Fp为T
则q为Tr为Ts为T与b互相矛盾
故((p➝q)∧(q➝r)∧(r➝s))➝((¬s)➝(¬p))是重言式有效推理形式 归谬赋值法的局限
例如(p∨q)➝(p∧q)为F假设(p∨q)➝(p∧q)不是重言式
则p∨q为T有三种情况p∧q为F有三种情况
假设p为Tq为F
假设p为Fq为T
解决用回真值表法
小技巧变元数量较少用真值表法变元数量较多用归谬赋值法。 有效推理形式的判定:
用逻辑符号把具体推理中的前提和结论分别写成命题形式从而形成推理形式;用蕴涵、合取符号及括号把推理形式转换为复合命题形式;用真值表法或归谬赋值法判定该复合命题形式是否为重言式。 从归谬赋值法看逻辑学的基本准则同一律矛盾律排中律逻辑学中不言而喻显然的基本准则
假设p➝p为F
则前p为T后p为F这违反同一律矛盾律。
证明它不能不是重言式也就是它是重言式也就是排中律天线非重言式和重言式没有中间状态度
第5讲 复合命题的推理命题联结词的充足集
5.1 命题联结词真值函数
函数是一种映射
每个命题联结词相当于从真值集合{T,F}到自身{T,F}的一个函数称为真值函数。
每个复合命题形式可以看作一个真值函数。其函数值由其所包含的基本命题(命题变元)的真值、其包含的命题联结词的性质决定。每个复合命题形式对应一个真值函数。不同的命题形式可以对应相同的真值函数。
运用真值表可以确定任一复合命题形式所对应的真值函数(即可知在命题变元的各种真值组合下该真值函数的值)。
与此相对如何为确定的真值函数找出相对应的命题形式?下一节有解答
命题联结词¬、∨、∧分别与同数字电路中的非门与门或门对应。
5.2 析取范式
一场比赛上三个裁判有两个及以上通过才算真正的通过
P1P2P3fTTTTTTFTTFTTTFFFFTTTFTFFFFTFFFFF
真正通过的情况(P1∧P2∧P3) ∨ (P1∧P2∧(¬P3)) ∨ (P1∧(¬P2)∧P3) ∨ ((¬P1)∧P2∧P3)
基本合取式: n个(n1, 2, 3, …)命题变元或其否定用合取(∧)联结而成的命题形式
析取范式: n个(n123…)有相同命题变元的基本合取式用析取(∨)联接而成的命题形式。 对应于某个真值函数的析取范式的作法:
列出该真值函数的真值表;对于使得该真值函数为真的命题变元各种真值组合: 若命题变元的真值为真则取命题变元本身若命题变元的真值为假则取命题变元之否定再用合取将其联接构成基本合取式; 用析取将各基本合取式联结构成析取范式。
如何为确定的真值函数找出相对应的命题形式?回答上一节问题
运用真值表列出相应的范式。
范式(normal form)满足某种规范、能显示某种逻辑性质的命题形式。
5.3 为复合命题形式作与之等值的析取范式
除了个别特殊情况对于复合命题形式都可以作出与之等值的析取范式。
p⟷q 与 (p∧q)∨((¬p)∧(¬q)) 等值用真值表验证。
pqp⟷qTTTTFFFTFFFT
pqp∧q¬p¬q(¬p)∧(¬q)(p∧q)∨((¬p)∧(¬q))TTTFFFTTFFFTFFFTFTFFFFFFTTTT例如¬(p➝q)与p∧(¬q)p∧(¬q)也是析取范式
pqp➝q¬(p➝q)TTTFTFFTFTTFFFTF
pq¬qp∧(¬q)TTFFTFTTFTFFFFTF例如¬(((p➝q)∧p)➝q)
pqp➝q(p➝q)∧p((p➝q)∧p)➝q¬(((p➝q)∧p)➝q)TTTTTFTFFFTFFTTFTFFFTFTF
除矛盾式以外对于复合命题形式都可以作出与之等值的析取范式。
为什么矛盾式不行请回顾对应于某个真值函数的析取范式的作法:
列出该真值函数的真值表;对于使得该真值函数为真的命题变元各种真值组合: …
由于矛盾式总是假于是在上述的第2步该真值函数为真的命题变元为0所以矛盾式不能作出析取范式。
5.4 合取范式
基本析取式n个( n123…)命题变元或其否定用析取(∨)联结而成的命题形式;
合取范式n个(n1, 2, 3…)有相同命题变元的基本析取式用合取(∧)联接而成的命题形式。
对应于某个真值函数的合取范式的作法
列出该真值函数的真值表再加以否定;作出该否定的析取范式;对该析取范式作否定再反复运用德摩根律和双重否定律加以整理从而得到对应于原真值函数的合取范式。
pqp⟷q¬(p⟷q)TTTFTFFTFTFTFFTF
得出p⟷q的合取范式
p⟷q1. 列出该真值函数的真值表再加以否定¬(p⟷q)2. 作出该否定的析取范式;(p∧(¬q))∨((¬p)∧q)3. 对该析取范式作否定再反复运用德摩根律和双重否定律加以整理从而得到对应于原真值函数的合取范式。¬((p∧(¬q))∨((¬p)∧q))
反复运用德摩根律和双重否定律加以整理 德摩根律
¬(p∧q) ⟷ (¬p)∨(¬q)¬(p∨q) ⟷ (¬p)∧(¬q)
双重否定
¬(¬p) ⟷ p p⟷q1. 列出该真值函数的真值表再加以否定¬(p⟷q)2. 作出该否定的析取范式;(p∧(¬q))∨((¬p)∧q)3. 对该析取范式作否定¬((p∧(¬q))∨((¬p)∧q))再反复运用德摩根律和双重否定律加以整理¬(p∧(¬q))∧¬((¬p)∧q))((¬p)∨q)∧(p∨(¬q))
然后用真值表进行验证
pqp⟷qTTTTFFFTFFFT
pq¬p(¬p)∨q¬qp∨(¬q)((¬p)∨q)∧(p∨(¬q))TTFTFTTTFFFTTFFTTTFFFFFTTTTT除重言式以外对于复合命题形式都可以作出与之等值的合取范式。
为什么重言式不能作出合取范式回顾对应于某个真值函数的合取范式的作法
列出该真值函数的真值表再加以否定;作出该否定的析取范式; …
重言式加以否定成矛盾式再回顾对应于某个真值函数的析取范式的作法:
列出该真值函数的真值表;对于使得该真值函数为真的命题变元各种真值组合: …
由于矛盾式总是假于是在上述的第2步该真值函数为真的命题变元为0所以矛盾式不能作出析取范式。
所以重言式不能作出合取范式。
5.5 范式存在定理
范式(normal form)满足某种规范、能显示某种逻辑性质的命题形式。
基本合取式: n个(n1, 2, 3, …)命题变元或其否定用合取(∧)联结而成的命题形式;基本析取式: n个(n1, 2, 3, …)命题变元或其否定用析取(∨)联结而成的命题形式;析取范式: n个(n1, 2, 3, …)有相同命题变元的基本合取式用析取(∨)联接而成的命题形式;合取范式: n个(n1, 2, 3,…)有相同命题变元的基本析取式用合取(∧)联接而成的命题形式。 与p⟷q等值的
析取范式(p∧q)∨((¬p)∧(¬q))合取范式((¬p)∨q)∧(p∨(¬q))
由范式作法可知
除永假式以外的复合命题形式都可作与之等值的析取范式除重言式以外的复合命题形式都可作与之等值的合取范式。
范式存在定理:
每一真值函数都可用范式(析取范式或合取范式)表示;每一复合命题形式都至少存在一个与其等值的范式(析取范式或合取范式)。
5.6 命题联结词的充足集
存在多少个不同的n元真值函数(命题联结词)?
答2(2n)个
例如有两个命题变元
pq12…16TTTF…FTFTT…FFTTT…FFFTT…F
命题联结词的充足(adequate)集若干个命题联结词的集合用这些命题联结词(同命题变元一起)经过有限次的重复和组合可表示任意的真值函数。
根据范式存在定理{¬, ∧, ∨}是命题联结词的充足集。 更进一步精简
(¬((¬A)∧(¬B)))与(A∨B)等值(¬((¬A)∨(¬B)))与(A∧B)等值
因此{¬, ∧}和{¬, ∨}也是命题连接词充足集。 再如
((¬A)➝B)))与(A∨B)等值(¬(A➝(¬B)))与(A∧B)等值
因此{¬, ➝}也是命题连接词充足集。 小结
{¬, ∧, ∨}是命题联结词的充足集
{¬, ∧}, {¬, ∨}, {¬, ➝}也分别是命题连接词充足集
5.7 命题联结词的独元充足集
一进制理论上可行但它不实用不能表示0
或非(nor) ↓
真值表
pqp↓qTTFTFFFTFFFTAA↓A¬ATFFFTFABA↓AB↓B(A↓A)↓(B↓B)A∧BTTFFTTTFFTFFFTTFFFFFTTFFABA↓B(A↓B)↓(A↓B)A∨BTTFTTTFFTTFTFTTFFTFF已证{¬, ∧, ∨}是命题联结词的充足集
(A↓A)与(¬A)等值((A↓A)↓(B↓B))与(A∧B)等值((A↓B)↓(A↓B))与(A∨B)等值
因此{↓}是命题联结词的充足集。这是很奇妙的结果。 与非与或非也能独当一面
与非(nand) |
真值表
pqp|qTTFTFTFTTFFT
(A|A)与(¬A)等值((A|B)|(A|B))与(A∧B)等值((A|A)|(B|B))与(A∨B)等值
真值表检验过程略
已证{¬, ∧, ∨}是命题联结词的充足集
(A|A)与(¬A)等值((A|B)|(A|B))与(A∧B)等值((A|A)|(B|B))与(A∨B)等值
因此{|}是命题联结词的充足集。这是很奇妙的结果。 ↓和|称为谢弗尔竖( Sheffer stroke或Shefferbar)。
{↓}和{|}是命题联结词的单元素(独元)充足集。这是一个非常奇妙的结果
↓|对应于数字电路中的或非门与非门。
第6讲 命题演算公理系统
6.1 公理系统的构成
判定有效推理形式的方法真值表法、归谬赋值法。
生成有效推理形式的方法公理系统、自然推演系统。
公理系统的构成数学物理逻辑等都有自己公理系统。
符号库(初始符号)形成规则(符号的使用)公理 (推演的起点)变形规则(推演规则)
自然语言的歧义性、模糊性不能使用在公理系统
例如这里展示的是三个学生的作品。有两种解释应避免歧义的发生
又例如《围城》中的老科学家
更精准的人工语言数学计算机编程语言
语言的三要素语音、词汇、语法盲文计算机编程语言没有语音
例子说明公理系统的构成
符号库(初始符号)如Unicode字符集形成规则(符号的使用)语法公理 (推演的起点)2015年4月1日是星期二变形规则(推演规则)2015年4月7日是星期几7 - 1 1 7(2 7 - 1) % 712015年4月7日是星期一
6.2 命题演算的公理系统L
更详细公理系统L的信息可查阅A.G.Hamilton的Logic for mathematicians。
命题演算的公理系统L
初始符号P1, P2, …; ¬, ➝; (,)形成规则 P1, P2, …是合式公式;若AB是任意合式公式则(¬A),(A➝B)是合式公式;加括号防止歧义的发生所有合式公式由1., 2.生成。 公理模式(设AB, C是任意合式公式)都是重言式 L1((A➝(B➝A)))L2((A➝(B➝C))➝((A➝B)➝(A➝C)))L3(((¬A)➝(¬B))➝(B➝A)) 推演规则(分离规则MP)从(A➝B)和A可得B。
合式公式(well-formed formula)(wf.)合于形成规则的式子(相当于合乎语法的句子)。这里公式是表达式不是数学的公式
6.3 命题演算公理系统L中的证明
L中的证明:
L的合式公式序列其中每个合式公式满足下列条件之一:
L的公理由在先的两个合式公式用MP得出。
这一序列中的最后一个合式公式称为L中的定理。 L1((A➝(B➝A)))L2((A➝(B➝C))➝((A➝B)➝(A➝C)))(分离规则MP)从(A➝B)和A可得B。
例子
(P1➝(P2➝P1))…L1(P1➝(P2➝P1))➝((P1➝P2)➝(P1➝P1))…L2((P1➝P2)➝(P1➝P1))…MP(2),(1)
这章内容在语形的角度上而第四章在语意的角度上 例证(P1➝P1)
(P1➝((P1➝P1)➝P1))…L1((P1➝((P1➝P1)➝P1))➝((P1➝(P1➝P1))➝(P1➝P1)))…L2((P1➝(P1➝P1))➝(P1➝P1))…MP(1, 2)(P1➝(P1➝P1))…L1(P1➝P1)…MP(3,4)
上述定理需要更专业知识证明我们浅尝辄止则可。
6.4 命题演算公理系统L中的证明续
例 证((¬P1)➝(P1➝P2))
((¬P1)➝((¬P2)➝(¬P1)))…L1(((¬P2)➝(¬P1))➝(P1➝P2))…L1((¬P1)➝(P1➝P2))
上述证明无效因L系统没有蕴涵连锁所以任何直观、显然的东西在这里是不允许的。必须按照3条公理模式和一个推演规则来进行。 正确的证明
证((¬P1)➝(P1➝P2))
((¬P1)➝((¬P2)➝(¬P1)))…L1(((¬P2)➝(¬P1))➝(P1➝P2))…L3((((¬P2)➝(¬P1))➝(P1➝P2))➝((¬P1)➝(((¬P2)➝(¬P1))➝(P1➝P2)))…L1((¬P1)➝(((¬P2)➝(¬P1))➝(P1➝P2)))…MP 3., 2.(((¬P1)➝(((¬P2)➝(¬P1))➝(P1➝P2)))➝(((¬P1)➝((¬P2)➝(¬P1)))➝((¬P1)➝(P1➝P2))))…L2(((¬P1)➝((¬P2)➝(¬P1)))➝((¬P1)➝(P1➝P2))))…MP 5., 4.((¬P1)➝(P1➝P2))…MP 6., 1.
6.5 命题演算公理系统L中的推演
L中的推演
设Γ伽玛γ的大写是L中的合式公式不必是L中的公理的集合。Γ中的合式公式作为临时公理参与L中的证明称为L中从Γ的推演得到的结果A称为L中Γ的推论。
记为Γ┝(下标L符)A 例子
(P1➝P2)…Γ1((P1➝P2)➝(P1➝(P1➝P2)))…L1(P1➝(P1➝P2))…MP 2., 1.
(P1➝P2)┝(下标L符)(P1➝(P1➝P2)) 例
假设:
物体若不受外力则运动方向 不变;某天体运动方向发生了变化。
P1某物受到外力;P2某物运动方向发生变化。
((¬P1)➝(¬P2))…Γ1P2…Γ2(((¬P1)➝(¬P2))➝(P2➝P1))…L3(P2➝P1)…MP 3., 1.P1…MP 4., 2.
{((¬P1)➝(¬P2)), P2} ┝(下标L符) P1 L中的定理A可记为∅┝(下标L)A或┝(下标L)A逻辑内的东西
第7讲 命题演算公理系统自然演绎系统
7.1 公理系统出发点的延伸
公理系统的构成
符号库(初始符号)形成规则(符号的使用)公理 (推演的起点)变形规则(推演规则)
命题演算的公理系统L
初始符号P1, P2, …; ¬, ➝; (,)形成规则 P1, P2, …是合式公式;若AB是任意合式公式则(¬A),(A➝B)是合式公式;加括号防止歧义的发生所有合式公式由1., 2.生成。 公理模式(设AB, C是任意合式公式)都是重言式 L1((A➝(B➝A)))L2((A➝(B➝C))➝((A➝B)➝(A➝C)))L3(((¬A)➝(¬B))➝(B➝A)) 推演规则(分离规则MP)从(A➝B)和A可得B。 延伸
1.可用定义引入其他符号。可用初始符号定义其他符号及其形成规则
如(设A, B, C是任意合式公式下同)
(A∨B)定义为((¬A)➝B)(A∧B)定义为(¬(A➝(¬B)))
已由定义引入的符号可用于定义更多符号。
由定义引入的新符号可与初始符号同等使用。
2.已证定理可与公理同等使用
如
已证定理模式(A➝A)编为T1则可有如下证明TTheory缩写
证 (P1➝P1)
(P1➝P1)…T1证毕
3.已证新的推演规则可与原有推演规则同等使用
如已证(A➝B)和(B➝C)可得(A➝C)(假言三段论HS),这定理的证明过程可查阅A.G.Hamilton的Logic for mathematicians
则可有以下证明
证((¬P1)➝(P1➝P2))
((¬P1)➝((¬P2)➝(¬P1)))…L1(((¬P2)➝(¬P1))➝(P1➝P2))…L3((¬P1)➝(P1➝P2))…HS 1., 2. 公理系统出发点的延伸:
可用定义引入其他符号及其形成规则;已证定理可与公理同等使用;已证新的推演规则可与原有推演规则同等使用。
7.2 公理系统的评价 真值表法、归谬赋值法判定有效推理形式的方法; 公理化方法生成有效推理形式的方法。 真值表方法“重言式”语义的概念;有关真假 公理化方法“定理”语形的概念。无关真假 L系统的性质
可靠性L的定理都是重言式完全性对应于复合命题有效推理形式的重言式都是L的定理独立性L的各条公理不能互相推出
L系统的可靠性和完全性使得L的定理当且仅当是第四讲中的重言式
即:
L的定理集与第四讲中的重言式集完全相同。 公理系统例子
L : L1, L2, L3 可靠完全独立L’ : L1, L2 可靠不完全独立L : L1, L2, L3, L4(A➝A)L4多余的但在运用时更加方便可靠完全不独立
L系统为什么要用这个3条公理模式和那个分离规则来作为它的出发点
答因为这几条它可以用最简洁的方法最大限度地覆盖所有的这个定理。你靠这个三条公理模式加上那个分离规则它刚好把所有定理都覆盖了而且并没有超出它的范围没有把这个非重言式也拿进来就是它的定理刚好正好是重言式不比重言式少也不比重言式多而且它本身的公理还互相独立它还一条都不多余。三条公理模式加上那个分离规则构造成一个巧妙的系统。
7.3 公理系统的性质和评价及其意义
公理系统能运用在数学、物理、逻辑等成熟的学科上。
公理系统在文科作整理尝试
斯宾诺莎(1632-1677)《用几何学方法作论证的伦理学》 凡是想在学识方面超群绝伦的人都一致认为:在研究和传授学问时数学方法即从定义、公设和公理推出结论的方法乃是发现和传授真理最好的和最可靠的方法。这是千真万确的。————路德维希●梅耶尔:斯宾诺莎《笛卡儿哲学原理(依几何学方式证明)》序(1663年) 公理各个数学分支都通用的一些最基本的东西如等量代换
公设用于某一门具体的数学分支一些最基本的东西
对于日常生活参照的意义
法律千万条大部分都不能全被知道但我们没有轻易触犯它们因为我们知道基本的出发点如不能损人利己若损轻则违道重则违法。“不能损人利己”相当于公理。勤洗手不吃脏东西…讲卫生公理。好学生如何定义成绩好品德好…德智体美劳公理。清华大学校训自强不息对自己厚德载物对外界。北京精神爱国创新包容厚德。
7.4 命题演算的自然演绎系统
公理系统的弱点不够直观。自然演绎系统应运而生。
通过自然演绎系统进行证明和推演的步骤:
引入假设;使用给定的接近于日常思维的推演规则进行推演;最后若按照规则消去假设则得到不依赖于假设的一般定理若保留假设则得到依赖于假设之下的推论。 命题演算的自然演绎系统C
初始符号P1, P2, …; ¬, ➝; (,)形成规则 P1, P2, …是合式公式;若AB是任意合式公式则(¬A),(A➝B)是合式公式;加括号防止歧义的发生所有合式公式由1., 2.生成。 推演规则设A, B是任意合式公式 假设引入重述重复➝引入¬消去如归谬赋值法➝消去如公理系统的分离规则
上面1. 2. 与公理系统L的一致
7.5 命题演算自然演绎系统中的证明和推演
例 证(P1➝P1) 例 证((¬P1)➝(P1➝P2)) 例 证(P1➝(P2➝P1)) 例 证((P1➝(P2➝P3))➝((P1➝P2)➝(P1➝P3))) 例 证(((¬P1)➝(¬P2))➝(P2➝P1)) 通过自然演绎系统进行证明和推演的步骤:
引入假设;使用给定的接近于日常思维的推演规则进行推演;最后若按照规则消去假设则得到不依赖于假设的一般定理若保留假设则得到依赖于假设之下的推论。 命题演算的自然演绎系统C具有可靠性、完全性。
命题演算的自然演绎系统C与命题演算的公理系统L等价。即二者的定理集完全相同。
第8讲 基本命题的构成
8.1 基本命题的结构
基本命题的组成部分
谓词§主词(S)量词
量词主词谓词所有金属是导体有的人会游泳
主词和谓词都是词项。
词项事物、事物的情况(性质或关系)。命题对事物及其情况(性质、关系)的陈述。
8.2 词项的内涵和外延
内涵某一词项的含义即该词项所指对象共同具有的特有属性。什么是金属具有导电导热等性质的物质
外延某一词项所指的对象。金属的外延是金银铜铁等
内涵和外延之间有反变关系。
词项的限制增加词项的内涵以缩小外延;
词项的扩大减少词项的内涵以扩大外延。
例如学校的外延小学中学大学等。
学校的内涵专门进行教育的机构
现在为学校加点内涵专门进行高等教育的机构。
学校的外延缩小至大学
8.3 词项的种类
根据词项外延的数量情况词项分为
普遍词项外延超过一个单独词项外延只有一个;空词项外延为空。美国女总统数学纯黄金
8.4 词项间的关系
词项间的关系指词项外延之间的关系。
欧拉图解
1.全同同一关系 如本学期选修逻辑学的50名学生与今天逻辑学课上现场50名学生。不管内涵是否一样
如中国的首都与华北最大的城市。内涵不一样但外延指的是北京
如中国最大的城市长江流域最大的城市。内涵不一样但外延指的是上海
2.包含关系 如S:中国的学校P:中国的大学
3.包含于关系 如S:中国的大学P:中国的学校
4.交叉关系 如S北京人P学生。
5.全异关系 如S幼儿园学生P大学生
矛盾关系互补的例如学校男女生反对关系不互补大学生和小学生因为还有中学生得等这里的“反对”与日常的“反对”不同 小结
词项间的关系
全同(同一)关系包含关系包含于关系交叉关系全异关系: 矛盾关系反对关系
8.5 词项的定义
定义描述词项的内涵
定义的结构被定义项定义项
偶数 是能被2整除的数。 被定义项定义项
同一个词项可有不同的定义
水是无色无味的、在一个大气压下冰点为0摄氏度沸点为100摄氏度的、比重为1的透明液体。水是由两个氢原子和一个氧原子化合成一个水分子而构成的物质。
定义的主要规则
定义项和被定义项须为全同关系。 如鱼是生活在水中的动物。(定义过宽)如期刊是每周或每月定期出版的出版物。定义过窄) 定义项不得直接或间接包含被定义项。 如逻辑学是研究逻辑的学问。(同语反复)如偶数是奇数加1或减1得到的数;奇数是偶数加1或减1得到的数。(循环定义)
定义不是唯一获得知识的来源有靠实践得来的如太阳月亮等
8.6 词项的划分
划分分类列举词项的外延。
划分的结构母项子项。
生物分为动物、植物、微生物、 母项子项
句子分为陈述句疑问句祈使句感叹句。 母项子项
句子分为主语、谓语、宾语、补语、定语。这不是划分而是组成部分
同一个词项可按不同标准作不同的划分。
划分可连续进行即子项可作为母项再次进行划分。学校分为大学中学小学。大学划分为中国大学、美国大学等
划分的主要规则
一次划分必须按同一标准进行。每一外延应属于某一子项并只属于一个子项。即: 子项相加应恰等于母项不得遗漏;子项之间应互相排斥不得重合。
8.7 谓词的分类
谓词是什么东西什么样说明事物情况说明一种性质说明一种关系。
张三和李四是高中学生。复合命题张三是高中学生并且李四是高中学生张三和李四是同班同学。你不能说成张三是同班同学并且李四是同班同学
一元谓词每次需要一个主词与之配合通常表示主词的某种性质; 多元如二元三元…谓词每次需要多个如两个三个…主词与之配合通常表示多个主词之间的某种关系。
性质命题含有一元谓词的基本命题;关系命题含有多元谓词的基本命题。
三元的例子福州在广州与上海之间。
8.8 量词
例子
所有金属导电。有些人会游泳。
“所有”“有些”为量词限定外延
量词
全称∀(all)特称存在∃(existed)单称
特称(存在)量词的含义至少存在一个(不排斥全部)。
单称量词通常处理为全称。独一无二的为单称如北京大学
全称量词可省略。如金属是导体。特称量词不能省略“有些人会游泳”省略成“人会游泳”。
8.9 联词
传统逻辑中往往把“否定”分析为在性质命题内部与“肯定”相对的成分。
“肯定”和“否定”称为联词表明主词和谓词之间具有肯定的联系或否定的联系。
今天是星期四今天不是星期四 小结
基本命题的组成部分
谓词主词量词联词
第9讲 传统逻辑中基本命题的推理
9.1 基本命题的推理
复合命题的推理以复合命题为前提或结论以命题联接词的性质为推理依据。
基本命题的推理以基本命题为前提和结论以基本命题的内部成分和结构为推理依据。
基本命题本身不再包含其他命题的命题。
复合命题由一个或多个基本命题加上命题联结词所构成的命题。
9.2 传统逻辑对基本命题的分析
传统逻辑对性质命题的分析
主词(S)谓词§量词全称特称单称联词肯定否定
根据量词(全称、特称)、联词(肯定、否定)的组合
性质命题分为:
全称肯定(SAP)所有S是P (A)全称否定(SEP)所有S不是P (E)特称肯定(SIP)有S是P (I)特称否定(SOP) :有S不是P (O)
AEIO源于拉丁字母请记住其含义。
9.3 性质命题中主、谓词的周延
周延词项作为主词、谓词出现在性质命题中时是否涉及到其全部外延称为是否周延。下面加下划线为周延 全称肯定(SAP) : (所有S是P)例所有金属都是导体 全称否定(SEP) : (所有S不是P)例所有金属都不是绝缘体 特称肯定(SIP) : (有S是P)例有的北京人是大学生 特称否定(SOP) : (有S不是P)例有的人不是大学生 全称命题(A、E)的主词周延 特称命题(I、O)的主词不周延 否定命题(E、O)的谓词周延 肯定命题(A、I)的谓问不周延
关于词项周延的一般规则:
推理中在前提中出现时不周延的词项在结论中出现时也不得周延。
9.4 命题变形的推理
1.换位法
SEP可推出PES例所有金属都不是绝缘体 推出 所有绝缘体都不是金属SIP可推出PIS例有的大学生是北京人 推出 有的北京人为大学生SAP可推出PIS例所有金属都是导体 推出 有的导体是金属
关于词项周延的一般规则:
推理中在前提中出现时不周延的词项在结论中出现时也不得周延。
错例
SAP, PAS例所有金属都是导体所有导体都是金属 X有的导体是金属SOP, POS例有的鸟不是动物有的动物不是鸟貌似说得过去 2.换质法
SAP可推出SEP例所有金属都是导体推出 所有金属都不是非导体SEP可推出SAP例所有金属都不是绝缘体推出 所有金属都是非绝缘体SIP可推出SOP例有的北京人是学生推出 有的北京人不是非学生SOP可推出SIP
9.5 根据对当关系的推理
逻辑方阵 反对可以同假不能同真例SAP-所有金属都是导体SEP所有金属都不是导体 下反对可以同真不能同假例SIP-有的人会游泳SOP-有的人不会游泳 矛盾必一真一假例SEP-所有金属都不是导体SIP-有的金属是导体 差等上真下必真下假上必假例SAP-所有金属都是导体上真SIP-有的金属是导体下必真例SAP-所有的人都会游泳假SIP-有的人会游泳真 SAP可推出¬(SEP), SIP,¬(SOP) ¬(SAP)可推出SOP SEP可推出¬(SAP),¬(SIP),SOP ¬(SEP)可推出SIP SIP可推出¬(SEP) ¬(SIP)可推出¬(SAP), SEP, SOP SOP可推出¬(SAP) ¬(SOP)可推出SAP,¬(SEP), SIP
9.6 三段论
三段论:
由包含一个共同词项的两个性质命题作为前提推出一个性质命题作为结论的推理形式。
所有金属是导体所有钢铁是金属 - 所有有钢铁是导体所有金属是导体有的塑料不是导体 - 有的塑料不是金属 三段论的结构:
先看结论作为结论之主词的词项称为小词(S)作为结论之谓词的词项称为大词§再到前提只出现在前提中的词项称为中词(M)。
含有大词的前提称为大前提含有小词的前提称为小前提。 9.7 三段论的式与格
式由作为大前提、小前提、结论的性质命题的种类而确定。
所有金属是导体MAP所有钢铁是金属SAM - 所有有钢铁是导体SAP AAA式所有金属是导体有的塑料不是导体 - 有的塑料不是金属 AOO式
AAA…OOO共4 * 4 * 4 64种 (所有金属是导体MAP, 所有钢铁是金属SAM) - 所有铜铁是导体SAP(所有金属是导体PAM, 所有钢铁是导体SAM) - 所有钢铁是金属SAP
格由中词、大词、小词在前提中的位置而确定。
共有4个格 (所有金属是导体MAP, 所有钢铁是金属SAM) - 所有铜铁是导体SAP AAA-1(所有金属是导体PAM,有的塑料不是导体SOM) - 有的塑料不是金属SOP AOO-2 式由作为大前提、小前提、结论的性质命题的种类而确定共有64个不同的式格由中词、大词、小词在前提中的位置而确定共有4个格三段论结合式与格共有256种可能的格式
9.8 有效三段论的判定
1.写成三段论的标准形式。
鲁迅著作前后不一上一句表示鲁迅全部著作下一句为鲁迅一本著作
2.若结论为肯定命题则两个前提必定均为肯定命题若结论为否定命题则两个前提必定一为肯定命题、一为否定命题。
3.中词在前提中至少周延一次中词是用来作媒介 周延词项作为主词、谓词出现在性质命题中时是否涉及到其全部外延称为是否周延。
4.小词、大词在结论中若周延则其在前提中必须周延。 有效三段论的判定四条方法
写成三段论的标准形式;若结论为肯定命题则两个前提必定均为肯定命题;若结论为否定命题则两个前提必定一为肯定命题、一为否定命题。中词在前提中至少周延一次。小词、大词在结论中若周延则其在前提中必须周延。 三段论有效格式的特征 三段论的有效格式 弱称上图带括号的本来可以得到全称的但是你现在给出是特称它的有效性是由条件的。
不推荐背诵这三段论的有效格式但推荐背诵有效三段论的判定四条方法
第10讲 基本命题的推理
10.1 性质命题
基本命题的组成部分:
谓词主词量词
一元谓词每次需要一个主词与之配合通常表示主词的某种性质
多元(如二元三元…)谓词每次需要多个(如两个三个…)主词与之配合通常表示多个主词之间的某种关系。
性质命题含有一元谓词的基本命题
关系命题含有多元谓词的基本命题。 P: 谓词变元 x: 个体变元 P(x): x是P (x有性质P) 量词:∀∃ (∀x)(P(x)): 所有x是P (∃x)(P(x)): 至少存在一个x是P 量词∀和∃之间可以互相替换表达
(∀x)(P(x))与¬(∃x)(¬P(x))等值(∃x)(P(x))与¬(∀x)(¬P(x))等值 性质命题在数理逻辑中的表述
全称肯定(SAP)(所有S是P) : (∀x)(S(X)→P(x))全称否定(SEP)(所有S不是P) : (∀x)(S(x)→(¬P(x)))特称肯定(SIP)(有S是P) : (∃x)(S(x)∧P(x))特称否定(SOP)(有S不是P) : (∃x)(S(x)∧¬P(x)) SAP与SOPSEP与SIP的矛盾关系 (∀x)(S(X)→P(x))与¬(∃x)(S(x)∧¬P(x))与同值(∀x)(S(x)→(¬P(x)))与¬(∃x)(S(x)∧P(x))同值(∃x)(S(x)∧P(x))与¬(∀x)(S(X)→¬P(x))同值(∃x)(S(x)∧¬P(x))与¬(∀x)(S(x)→(P(x)))同值
10.2 主词非空的预设
预设预先的假设说话人和听话人不言自明的东西
你什么时候回来预设你将要离开。你戒烟了吗预设你曾经抽烟。对非抽烟者该问题不成立。 全称命题推出存在命题时须预设前提中主词(S)不为空词项。
若前提中主词为空词项则从全称命题到存在命题的推理不成立。
空词项外延为空。美国女总统数学纯黄金
例美国外交官说“我不能竞选美国总统。”在美国出生的人才有资格竞选总统且他不是出生在美国。
不能直接从(∀x)(S(x)→P(x))即A命题推出(∃x)(S(x)∧P(x))即I命题
例S(x)这人是美国女总统P(X)这人是在美国出生的。
若从A命题推出I命题须增加前提(∃x)(S(x))即从(∀x)(S(X)→P(x))∧(∃x)(S(x))推出(∃x)(S(x)∧P(x))
例。对于上例(∃x)(S(x))至少有一个美国女总统。 上图中5个带括号的格式在传统逻辑是可以的但在严格地说它们有条件。 三段论中若小词为空词项那么弱式将不成立。 10.3 关系命题的结构
关系命题含有多元谓词的基本命题如二元关系命题
R(x, y)x对于y有关系R R谓词变元 x, y个体变元 量词∀∃ (∀x)(∀y)R(x, y) (∀y)(∀x)R(x, y) (∀x)(∃y)R(x, y) (∃y)(∀x)R(x, y) (∃x)(∀y)R(x, y) (∀y)(∃x)R(x, y) (∃x)(∃y)R(x, y) (∃y)(∃x)R(x, y)
例如
R害怕 x老鼠 y猫
10.4 关系命题根据量词的推理
(∀x)(∀y)R(x, y) ⇔ (∀y)(∀x)R(x, y)⇓
(∀x)(∃y)R(x, y) ⇐ (∃y)(∀x)R(x, y)
(∃x)(∀y)R(x, y) ⇒ (∀y)(∃x)R(x, y)⇓
(∃x)(∃y)R(x, y) ⇔ (∃y)(∃x)R(x, y)10.5 关系命题根据谓词性质的推理方法
1.自返性
自反关系(∀x)R(x, x)例数学上的等于反自返关系(∀x)(¬R(x, x))例数学上的大于非自返关系((∃x)R(x, x))∧((∃x)(¬R(x, x)))例有的人能正确认识自己有的人不能正确认识自己
2.对称性
对称关系(∀x)(∀y)((R(x,y))⇒(R(y,x)))例直线a与直线b平行直线b与直线a平行反对称关系(∀x)(∀y)((R(x,y))⇒(¬R(y,x)))例张三是李四的哥哥非对称关系((∃x)(∃y)((R(x,y))⇒(R(y,x))))∧((∃x)(∃y)((R(x,y))⇒(¬R(y,x))))例爱慕关系存在张三李四互相爱慕并且张三一厢情愿爱慕李四
3.传递性
传递关系(∀x)(∀y)(∀z)(((R(x,y)∧R(y,z)))⇒R(x,z))例A大于BB大于CA大于C反传递关系(∀x)(∀y)(∀z)(((R(x,y)∧R(y,z)))⇒(¬R(x,z)))(例平面上A垂直于BB垂直于CA不垂直于C)非传递关系((∃x)(∃y)(∃z)(((R(x,y)∧R(y,z)))⇒R(x,z)))∧((∃x)(∃y)(∃z)(((R(x,y)∧R(y,z)))⇒(¬R(x,z))))例朋友的朋友
请注意:
“关系命题根据谓词性质的推理方法”只是给出了一种方法不是纯形式的逻辑推理。
10.6 谓词演算简介
用于谓词演算的一阶语言
符号库 合式公式合于形成规则的式子(相当于合乎语法的句子)。这里公式是表达式不是数学的公式 一阶谓词演算高阶谓词演算谓词演算的公理系统谓词演算的自然演绎系统
第11讲 非经典逻辑的初步
11.1 非经典非标准逻辑
古典逻辑经典逻辑非经典逻辑经典逻辑的补充
11.2 多值逻辑
源于亚里士多德
如三值逻辑命题的真值可取
T(真), I(可能), F(假)1, 2, 30, 1/2, 1
卢卡西维茨(1878-1956)1920年《论三值逻辑》首次提出多值逻辑的系统
卢卡西维茨的卢卡西维茨的真值表 11.3 模糊逻辑
即无穷多连续值逻辑扎德(1921年生)于1965年提出模糊集合概念
模糊逻辑将模糊的东西变得精确
命题真值取值为“隶属度”在[01]之间连续取值 11.4 模态逻辑
含有必然、可能等模态(modal)词的命题及其推理
亚里士多德的模态三段论
刘易斯( 1883-1964) 于1914年构造模态命题演算系统
基本模态词
必然□或然◇ □P必然p◇p可能p 反对(不能同真可以同假)□p与□¬p下反对(不能同假可以同真)◇p与◇¬p矛盾(必一真一假)□p与◇¬p□¬p与◇p差等(上真下必真下假上必假)□p对◇p□¬p对◇¬p
根据模态命题之间的矛盾关系:
“必然”等值于“不可能不”“可能”等值于“不必然不”“不可能”等值于“必然不”“不必然”等值于“可能不” 不包含模态词的命题可视为模态的特例实然 反对(不能同真可以同假)□p与□¬p□p与¬p□¬p与p下反对(不能同假可以同真)◇p与◇¬p◇p与¬p◇¬p与p矛盾(必一真一假)□p与◇¬p□¬p与◇pp与¬p差等(上真下必真下假上必假)□p对◇p□¬p对◇¬p□p对pp对◇p□¬p对¬p¬p对◇¬p
11.5 规范逻辑
含有必须、允许等规范词的规范命题及其推理亦称道义逻辑、义务逻辑等。
冯、赖特(1916-2003)于1951年发表《规范逻辑》并创立规范逻辑系统。
基本规范词:
必须 O允许 P禁止(必须不) F
Op:必须pPp:允许pFp:禁止p 反对(不能同真可以同假)Op与Fp下反对(不能同假可以同真)Pp与P¬p矛盾(必一真一假)Op与P pFp与Pp差等(上真下必真下假上必假)Op对PpFp对P¬p
根据规范命题之间的矛盾关系:
“必须”等值于“不允许不”“允许”等值于“不禁止”“允许”等值于“不禁止”“不必须”等值于“允许不”
11.6 时态逻辑
含有过去、现在、将来、永远等时态词的时态命题及其推理
亦称时间逻辑、时序逻辑等
普莱尔(1914-)于1957年建立时态逻辑的两个系统 反对(不能同真可以同假) 永远p与永远¬p永远p与某时¬p永远¬p与某时p 下反对(不能同假可以同真) 有时p与有时¬p有时p与某时¬p有时¬p与某时p 矛盾(必一真一假) 永远p与有时¬p永远¬ρ与有时p某时p与某时¬p 差等(上真下必真下假上必假) 永远p对有时p永远p对某时p某时p对有时p,永远¬p对有时¬p,永远¬p对某时¬p,某时¬p对有时¬p
时态命题中可引入模态命题构成时态模态命题将来可能等
规范逻辑、时态逻辑等都属于广义模态逻辑
11.7 弗协调逻辑
亦称次协调逻辑、超协调逻辑、亚相容逻辑等
雅斯可夫斯基于1940年代末构造第一个次协调逻辑系统
达科斯塔(1929年生)建立更完善的次协调逻辑理论 协调(相容)不存在合式公式A使得A和(¬A)都是定理。
不足道(平庸)所有合式公式都是定理。
经典逻辑系统是协调而非不足道的。
若非协调则必定不足道(从相互矛盾的两个前提可以推出一切)。
弗协调既非协调亦非不足道即存在合式公式A使得A和(¬A)都是定理但并非所有合式公式都是定理。
在弗协调逻辑中不矛盾律(¬(A∧¬A) )并非普遍有效从相互矛盾的两个前提不能推出一切。
第12讲 余论
12.1 演绎和归纳
传统逻辑 演绎:从一般到个别归纳:从个别到一般类比:从个别到个别 现代逻辑 演绎:必然性推理归纳:或然性推理
完全归纳推理 归纳疑难 又称休谟(1711-1776)问题
归纳的根据是归纳本身?归纳的根据何在?
12.2 探求因果关系的逻辑方法
1.求同法契合法 2.求异法差异法 3.求同求异并用法契合差异并用法 4.共变法 5.剩余法 12.3 证论和反驳
论证:
根据已知为真的命题通过推理确定某一命题的真实性。
论题论据论证方式 推理
前提推理形式结论
论证
论据论证方式论题
论据必须是真 间接论证:
排除法(剩余法)A或B或C非B非C从而A。反证法非A假从而A真。
反驳论证某一命题虚假或确定某一论证不能成立。
归谬法若A真则引出矛盾可见A假。 谬误
论题不清虚假论据循环论证诉诸权威以先后为因果转移论题预期理由以人为据诉诸感情以相对为绝对
12.4 悖论
悖论
由其真可推出其假、由其假可推出其真的命题。
A与其自身的否定非A等值。 说谎者悖论
“我正在说谎。”“这句话是假的。”
解决“不自指。” 理发师悖论
“某村理发师规定给并且只给任何不给自己刮胡子的村民刮胡子。”
解决“不自指。” “不能用少于十八个汉字定义的最小整数。”
12.5 本课程《逻辑学概论》内容回顾
第1讲 什么是逻辑学 1.1 “逻辑和逻辑学1.2 推理和推理形式1.3 有效推理形式1.4 逻辑学的特点1.5 逻辑学的基本准则1.6 逻辑学和其他学科的关系1.7 关于本课程《逻辑学概论》 第2讲 逻辑学的产生与发展 2.1 中国古代逻辑思想上2.2 中国古代逻辑思想中2.3 中国古代逻辑思想下2.4 印度古代逻辑2.5 古希腊和中世纪逻辑2.6 近代西方逻辑2.7 数理逻辑的提出和实现2.8 数理逻辑的发展 第3讲 命题联结词及其基本推理形式 3.1 推理和命题3.2 基本命题和复合命题3.3 常用命题联结词及其基本推理形式13.4 常用命题联结词及其基本推理形式23.5 常用命题联结词及其基本推理形式33.6 常用命题联结词及其基本推理形式43.7 常用命题联结词及其基本推理形式53.8 常用命题联结词及其基本推理形式63.9 常用命题联结词及其基本推理形式7 第4讲 复合命题的推理有效推理形式的判定 4.1 重言式、矛盾式和可满足式4.2 具体推理转换为推理形式4.3 推理形式转换为复合命题形式4.4 有效推理形式的判定真值表法4.5 有效推理形式的判定归谬赋值法 第5讲 复合命题的推理命题联结词的充足集 5.1 命题联结词真值函数5.2 析取范式5.3 为复合命题形式作与之等值的析取范式5.4 合取范式5.5 范式存在定理5.6 命题联结词的充足集5.7 命题联结词的独元充足集 第6讲 命题演算公理系统 6.1 公理系统的构成6.2 命题演算的公理系统L6.3 命题演算公理系统L中的证明6.4 命题演算公理系统L中的证明续6.5 命题演算公理系统L中的推演 第7讲 命题演算公理系统自然演绎系统 7.1 公理系统出发点的延伸7.2 公理系统的评价7.3 公理系统的性质和评价及其意义7.4 命题演算的自然演绎系统7.5 命题演算自然演绎系统中的证明和推演 第8讲 基本命题的构成 8.1 基本命题的结构8.2 词项的内涵和外延8.3 词项的种类8.4 词项间的关系8.5 词项的定义8.6 词项的划分8.7 谓词的分类8.8 量词8.9 联词 第9讲 传统逻辑中基本命题的推理 9.1 基本命题的推理9.2 传统逻辑对基本命题的分析9.3 性质命题中主、谓词的周延9.4 命题变形的推理9.5 根据对当关系的推理9.6 三段论9.7 三段论的式与格9.8 有效三段论的判定 第10讲 基本命题的推理 10.1 性质命题10.2 主词非空的预设10.3 关系命题的结构10.4 关系命题根据量词的推理10.5 关系命题根据谓词性质的推理方法10.6 谓词演算简介 第11讲 非经典逻辑的初步 11.1 非经典非标准逻辑11.2 多值逻辑11.3 模糊逻辑11.4 模态逻辑11.5 规范逻辑11.6 时态逻辑11.7 弗协调逻辑 第12讲 余论 12.1 演绎和归纳12.2 探求因果关系的逻辑方法12.3 证论和反驳12.4 悖论12.5 本课程《逻辑学概论》内容回顾
