清华大学——逻辑学概论
付费 · 全81集 · 7.7万人在学习
简介
专辑列表
1-60
61-81
05:38
第01集“逻辑”和逻辑学
09:33
付费
第02集推理和推理形式
14:23
付费
第03集有效推理形式
16:14
付费
第04集逻辑学的特点
22:38
付费
第05集逻辑学的基本准则
22:02
付费
第06集逻辑学和其他学科的关系
19:53
付费
第07集关于本课程《逻辑学概论》
15:31
付费
第08集中国古代逻辑思想（上）
12:01
付费
第09集中国古代逻辑思想（中）
15:35
付费
第10集中国古代逻辑思想（下）
10:19
付费
第11集印度古代逻辑
07:09
付费
第12集古希腊和中世纪逻辑
15:44
付费
第13集近代西方逻辑
18:48
付费
第14集数理逻辑的提出和实现
15:37
付费
第15集数理逻辑的发展
09:47
付费
第16集推理和命题
18:59
付费
第17集基本命题和复合命题
10:57
付费
第18集常用命题联结词及其基本推理形式（1）
10:15
付费
第19集常用命题联结词及其基本推理形式（2）
09:33
付费
第20集常用命题联结词及其基本推理形式（3）
06:13
付费
第21集常用命题联结词及其基本推理形式（4）
13:38
付费
第22集常用命题联结词及其基本推理形式（5）
07:02
付费
第23集常用命题联结词及其基本推理形式（6）
07:04
付费
第24集常用命题联结词及其基本推理形式（7）
11:29
付费
第25集重言式、矛盾式和可满足式
07:29
付费
第26集具体推理转换为推理形式
05:47
付费
第27集推理形式转换为复合命题形式
22:50
付费
第28集有效推理形式的判定：真值表法
28:11
付费
第29集有效推理形式的判定：归谬赋值法
14:22
付费
第30集命题联结词：真值函数
17:56
付费
第31集析取范式
09:45
付费
第32集为复合命题形式作与之等值的析取范式
13:04
付费
第33集合取范式
03:42
付费
第34集范式存在定理
25:10
付费
第35集命题联结词的充足集
13:53
付费
第36集命题联结词的独元充足集
28:04
付费
第37集公理系统的构成
16:57
付费
第38集命题演算的公理系统L
12:27
付费
第39集命题演算公理系统L中的证明
09:26
付费
第40集命题演算公理系统L中的证明（续）
14:19
付费
第41集命题演算公理系统L中的推演
18:58
付费
第42集公理系统出发点的延伸
17:00
付费
第43集公理系统的评价
15:22
付费
第44集公理系统的性质和评价及其意义
14:38
付费
第45集命题演算的自然演绎系统
29:55
付费
第46集命题演算自然演绎系统中的证明和推演
09:12
付费
第47集基本命题的结构
04:55
付费
第48集词项的内涵和外延
07:33
付费
第49集词项的种类
12:38
付费
第50集词项间的关系
25:19
付费
第51集词项的定义
11:01
付费
第52集词项的划分
09:23
付费
第53集谓词的分类
10:27
付费
第54集量词
05:46
付费
第55集联词
05:59
付费
第56集基本命题的推理
07:43
付费
第57集传统逻辑对基本命题的分析
09:50
付费
第58集性质命题中主、谓词的周延
16:03
付费
第59集命题变形的推理
08:32
付费
第60集根据对当关系的推理