49. 清华大学陈为蓬《逻辑学概论》课程：命题联结词：真值函数5.1 - 1

清华大学公开课 陈为蓬《逻辑学概论》

大学课程 / 哲学与宗教 / 逻辑学

共139集 65.7万人观看

---

• 
  1清华大学公开课：《逻辑学概论》逻辑和逻辑学1.1

  05:29
• 
  2清华大学陈为蓬《逻辑学概论》课程：推理和推理形式1.2

  09:24
• 
  3清华大学陈为蓬《逻辑学概论》课程：有效推理形式1.3 - 1

  07:09
• 
  4清华大学陈为蓬《逻辑学概论》课程：有效推理形式1.3 - 3

  07:14
• 
  5清华大学陈为蓬《逻辑学概论》课程：逻辑学的特点1.4 - 1

  08:04
• 
  6清华大学陈为蓬《逻辑学概论》课程：逻辑学的特点1.4 - 3

  08:05
• 
  7清华大学陈为蓬《逻辑学概论》课程：逻辑学的基本准则1.5 - 1

  11:16
• 
  8清华大学陈为蓬《逻辑学概论》课程：逻辑学的基本准则1.5 - 3

  11:20
• 
  9清华大学陈为蓬《逻辑学概论》课程：逻辑学和其他学科的关系1.6 - 1

  10:58
• 
  10清华大学陈为蓬《逻辑学概论》课程：逻辑学和其他学科的关系1.6 - 3

  11:03
• 
  11清华大学陈为蓬《逻辑学概论》课程：关于本课程1.7 - 1

  09:54
• 
  12清华大学陈为蓬《逻辑学概论》课程：关于本课程1.7 - 3

  09:54
• 
  13清华大学陈为蓬《逻辑学概论》课程：中国古代逻辑思想（上）1.8 - 1

  07:43
• 
  14清华大学陈为蓬《逻辑学概论》课程：中国古代逻辑思想（上）1.8 - 3

  07:42
• 
  15清华大学陈为蓬《逻辑学概论》课程：中国古代逻辑思想（中）2.2 - 1

  05:58
• 
  16清华大学陈为蓬《逻辑学概论》课程：中国古代逻辑思想（中）2.2 - 3

  06:00
• 
  17清华大学陈为蓬《逻辑学概论》课程：中国古代逻辑学思想（下）2.3 - 1

  07:45
• 
  18清华大学陈为蓬《逻辑学概论》课程：中国古代逻辑学思想（下）2.3 - 3

  07:46
• 
  19清华大学陈为蓬《逻辑学概论》课程：印度古代逻辑2.4 - 1

  05:07
• 
  20清华大学陈为蓬《逻辑学概论》课程：印度古代逻辑2.4 - 3

  05:10
• 
  21清华大学陈为蓬《逻辑学概论》课程：古希腊和中世纪逻辑2.5

  07:00
• 
  22清华大学陈为蓬《逻辑学概论》课程：近代西方逻辑2.6 - 1

  07:49
• 
  23清华大学陈为蓬《逻辑学概论》课程：近代西方逻辑2.6 - 3

  07:55
• 
  24清华大学陈为蓬《逻辑学概论》课程：数理逻辑的提出和实现2.7 - 1

  09:21
• 
  25清华大学陈为蓬《逻辑学概论》课程：数理逻辑的提出和实现2.7 - 3

  09:18
• 
  26清华大学陈为蓬《逻辑学概论》课程：数理逻辑的发展2.8 - 1

  07:46
• 
  27清华大学陈为蓬《逻辑学概论》课程：数理逻辑的发展2.8 - 3

  07:48
• 
  28清华大学陈为蓬《逻辑学概论》课程：推理和命题3.1

  09:38
• 
  29清华大学陈为蓬《逻辑学概论》课程：基本命题和复合命题3.2 - 1

  09:26
• 
  30清华大学陈为蓬《逻辑学概论》课程：基本命题和复合命题3.2 - 3

  09:29
• 
  31清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（1）3.3 - 1

  05:26
• 
  32清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（1）3.3 - 3

  05:28
• 
  33清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（2）3.4 - 1

  05:05
• 
  34清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（2）3.4 - 3

  05:06
• 
  35清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（3）3.5

  09:24
• 
  36清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（4）3.6

  06:04
• 
  37清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（5）3.7 - 1

  06:46
• 
  38清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（5）3.7 - 3

  06:49
• 
  39清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（6）3.8

  06:53
• 
  40清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（7）3.9

  06:54
• 
  41清华大学陈为蓬《逻辑学概论》课程：重言式、矛盾式和可满足式4.1 - 1

  05:42
• 
  42清华大学陈为蓬《逻辑学概论》课程：重言式、矛盾式和可满足式4.1 - 3

  05:40
• 
  43清华大学陈为蓬《逻辑学概论》课程：具体推理转换为推理形式4.2

  07:20
• 
  44清华大学陈为蓬《逻辑学概论》课程：推理形式转换为复合命题形式4.3

  05:37
• 
  45清华大学陈为蓬《逻辑学概论》课程：有效形式的判定：真值表法4.4 - 1

  11:22
• 
  46清华大学陈为蓬《逻辑学概论》课程：有效形式的判定：真值表法4.4 - 3

  11:21
• 
  47清华大学陈为蓬《逻辑学概论》课程：有效形式的判定：归谬赋值法4.5 - 1

  14:02
• 
  48清华大学陈为蓬《逻辑学概论》课程：有效形式的判定：归谬赋值法4.5 - 3

  14:05
• 
  49清华大学陈为蓬《逻辑学概论》课程：命题联结词：真值函数5.1 - 1

  07:08
• 
  50清华大学陈为蓬《逻辑学概论》课程：命题联结词：真值函数5.1 - 3

  07:07
• 
  51清华大学陈为蓬《逻辑学概论》课程：析取范式5.2 - 1

  08:55
• 
  52清华大学陈为蓬《逻辑学概论》课程：析取范式5.2 - 3

  09:01
• 
  53清华大学陈为蓬《逻辑学概论》课程：为复合命题形式作与之等值的析取范式5.3

  09:36
• 
  54清华大学陈为蓬《逻辑学概论》课程：合取范式5.4 - 1

  06:29
• 
  55清华大学陈为蓬《逻辑学概论》课程：合取范式5.4 - 3

  06:28
• 
  56清华大学陈为蓬《逻辑学概论》课程：范式存在定理5.5

  03:33
• 
  57清华大学陈为蓬《逻辑学概论》课程：命题联结词的充足集5.6 - 1

  12:32
• 
  58清华大学陈为蓬《逻辑学概论》课程：命题联结词的充足集5.6 - 3

  12:30
• 
  59清华大学陈为蓬《逻辑学概论》课程：命题联结词的独元充足集5.7 - 1

  06:54
• 
  60清华大学陈为蓬《逻辑学概论》课程：命题联结词的独元充足集5.7 - 3

  06:58
• 
  61清华大学陈为蓬《逻辑学概论》课程：公理系统的构成6.1 - 1

  13:59
• 
  62清华大学陈为蓬《逻辑学概论》课程：公理系统的构成6.1 - 3

  13:59
• 
  63清华大学陈为蓬《逻辑学概论》课程：命题演算的公理系统L6.2 - 1

  08:26
• 
  64清华大学陈为蓬《逻辑学概论》课程：命题演算的公理系统L6.2 - 3

  08:28
• 
  65清华大学陈为蓬《逻辑学概论》课程：命题演算中公理系统L中的证明6.3 - 1

  06:10
• 
  66清华大学陈为蓬《逻辑学概论》课程：命题演算中公理系统L中的证明6.3 - 3

  06:17
• 
  67清华大学陈为蓬《逻辑学概论》课程：命题演算中公理系统L中的证明（续）6.4

  09:17
• 
  68清华大学陈为蓬《逻辑学概论》课程：命题演算的公理系统L中的推演6.5 - 1

  07:07
• 
  69清华大学陈为蓬《逻辑学概论》课程：命题演算的公理系统L中的推演6.5 - 3

  07:10
• 
  70清华大学陈为蓬《逻辑学概论》课程：公理系统出发点的延伸7.1 - 1

  09:26
• 
  71清华大学陈为蓬《逻辑学概论》课程：公理系统出发点的延伸7.1 - 3

  09:30
• 
  72清华大学陈为蓬《逻辑学概论》课程：公理系统的评价7.2 - 1

  08:27
• 
  73清华大学陈为蓬《逻辑学概论》课程：公理系统的评价7.2 - 3

  08:31
• 
  74清华大学陈为蓬《逻辑学概论》课程：公理系统的性质和评价及其意义7.3 - 1

  07:38
• 
  75清华大学陈为蓬《逻辑学概论》课程：公理系统的性质和评价及其意义7.3 - 3

  07:37
• 
  76清华大学陈为蓬《逻辑学概论》课程：命题演算的自然演绎系统7.4 - 1

  07:16
• 
  77清华大学陈为蓬《逻辑学概论》课程：命题演算的自然演绎系统7.4 - 3

  07:19
• 
  78清华大学陈为蓬《逻辑学概论》课程：命题演算中的自然演绎系统的证明和推理7.5 - 1

  14:55
• 
  79清华大学陈为蓬《逻辑学概论》课程：命题演算中的自然演绎系统的证明和推理7.5 - 3

  14:56
• 
  80清华大学陈为蓬《逻辑学概论》课程：基本命题的结构8.1

  09:03
• 
  81清华大学陈为蓬《逻辑学概论》课程：词项的内涵和外延8.2

  04:46
• 
  82清华大学陈为蓬《逻辑学概论》课程：词项的种类8.3

  07:24
• 
  83清华大学陈为蓬《逻辑学概论》课程：词项间的关系8.4 - 1

  06:16
• 
  84清华大学陈为蓬《逻辑学概论》课程：词项间的关系8.4 - 3

  06:18
• 
  85清华大学陈为蓬《逻辑学概论》课程：词项的定义8.5 - 1

  12:36
• 
  86清华大学陈为蓬《逻辑学概论》课程：词项的定义8.5 - 3

  12:39
• 
  87清华大学陈为蓬《逻辑学概论》课程：词项的划分8.6 - 1

  05:27
• 
  88清华大学陈为蓬《逻辑学概论》课程：词项的划分8.6 - 3

  05:31
• 
  89清华大学陈为蓬《逻辑学概论》课程：谓词的分类8.7

  09:14
• 
  90清华大学陈为蓬《逻辑学概论》课程：量词8.8 - 1

  05:10
• 
  91清华大学陈为蓬《逻辑学概论》课程：量词8.8 - 3

  05:17
• 
  92清华大学陈为蓬《逻辑学概论》课程：连词8.9

  05:36
• 
  93清华大学陈为蓬《逻辑学概论》课程：基本命题的推理9.1

  05:50
• 
  94清华大学陈为蓬《逻辑学概论》课程：传统逻辑对基本命题的分析9.2

  07:34
• 
  95清华大学陈为蓬《逻辑学概论》课程：性质命题中主、谓词的周延9.3

  09:41
• 
  96清华大学陈为蓬《逻辑学概论》课程：命题变形的推理9.4 - 1

  07:59
• 
  97清华大学陈为蓬《逻辑学概论》课程：命题变形的推理9.4 - 3

  08:04
• 
  98清华大学陈为蓬《逻辑学概论》课程：根据对当关系的推理9.5

  08:22
• 
  99清华大学陈为蓬《逻辑学概论》课程：三段论9.6 - 1

  06:01
• 
  100清华大学陈为蓬《逻辑学概论》课程：三段论9.6 - 3

  06:02
• 
  101清华大学陈为蓬《逻辑学概论》课程：三段论的式与格9.7 - 1

  05:35
• 
  102清华大学陈为蓬《逻辑学概论》课程：三段论的式与格9.7 - 3

  05:40
• 
  103清华大学陈为蓬《逻辑学概论》课程：有效三段论的判定9.8 - 1

  10:19
• 
  104清华大学陈为蓬《逻辑学概论》课程：有效三段论的判定9.8 - 2

  10:28
• 
  105清华大学陈为蓬《逻辑学概论》课程：有效三段论的判定9.8 - 3

  10:18
• 
  106清华大学陈为蓬《逻辑学概论》课程：性质命题10.1 - 1

  12:28
• 
  107清华大学陈为蓬《逻辑学概论》课程：性质命题10.1 - 3

  12:33
• 
  108清华大学陈为蓬《逻辑学概论》课程：主词非空的预设10.2 - 1

  09:19
• 
  109清华大学陈为蓬《逻辑学概论》课程：主词非空的预设10.2 - 3

  09:24
• 
  110清华大学陈为蓬《逻辑学概论》课程：关系命题的结构10.3

  08:29
• 
  111清华大学陈为蓬《逻辑学概论》课程：关系命题根据量词的推理10.4 - 1

  05:18
• 
  112清华大学陈为蓬《逻辑学概论》课程：关系命题根据量词的推理10.4 - 3

  05:22
• 
  113清华大学陈为蓬《逻辑学概论》课程：关系命题根据谓词性质的推理方法10.5 - 1

  12:20
• 
  114清华大学陈为蓬《逻辑学概论》课程：关系命题根据谓词性质的推理方法10.5 - 3

  12:25
• 
  115清华大学陈为蓬《逻辑学概论》课程：谓词演算简介10.6 - 1

  07:14
• 
  116清华大学陈为蓬《逻辑学概论》课程：谓词演算简介10.6 - 3

  07:14
• 
  117清华大学陈为蓬《逻辑学概论》课程：非经典（非标准）逻辑11.1

  06:55
• 
  118清华大学陈为蓬《逻辑学概论》课程：多值逻辑11.2 - 1

  05:39
• 
  119清华大学陈为蓬《逻辑学概论》课程：多值逻辑11.2 - 3

  05:45
• 
  120清华大学陈为蓬《逻辑学概论》课程：模糊逻辑11.3 - 1

  09:01
• 
  121清华大学陈为蓬《逻辑学概论》课程：模糊逻辑11.3 - 3

  08:58
• 
  122清华大学陈为蓬《逻辑学概论》课程：模态逻辑11.4 - 1

  10:14
• 
  123清华大学陈为蓬《逻辑学概论》课程：模态逻辑11.4 - 3

  10:15
• 
  124清华大学陈为蓬《逻辑学概论》课程：规范逻辑11.5 - 1

  06:24
• 
  125清华大学陈为蓬《逻辑学概论》课程：规范逻辑11.5 - 3

  06:24
• 
  126清华大学陈为蓬《逻辑学概论》课程：时态逻辑11.6 - 1

  06:08
• 
  127清华大学陈为蓬《逻辑学概论》课程：时态逻辑11.6 - 3

  06:12
• 
  128清华大学陈为蓬《逻辑学概论》课程：弗协调逻辑11.7 - 1

  09:14
• 
  129清华大学陈为蓬《逻辑学概论》课程：弗协调逻辑11.7 - 3

  09:15
• 
  130清华大学陈为蓬《逻辑学概论》课程：演绎和规划12.1 - 1

  09:33
• 
  131清华大学陈为蓬《逻辑学概论》课程：演绎和规划12.1 - 3

  09:32
• 
  132清华大学陈为蓬《逻辑学概论》课程：探求因果关系的逻辑方法12.2 - 1

  08:58
• 
  133清华大学陈为蓬《逻辑学概论》课程：探求因果关系的逻辑方法12.2 - 3

  09:03
• 
  134清华大学陈为蓬《逻辑学概论》课程：论证和反驳12.3 - 1

  14:24
• 
  135清华大学陈为蓬《逻辑学概论》课程：论证和反驳12.3 - 3

  14:24
• 
  136清华大学陈为蓬《逻辑学概论》课程：悖论12.4 - 1

  07:15
• 
  137清华大学陈为蓬《逻辑学概论》课程：悖论12.4 - 3

  07:16
• 
  138清华大学陈为蓬《逻辑学概论》课程：本课程回顾12.5 - 1

  11:39
• 
  139清华大学陈为蓬《逻辑学概论》课程：本课程回顾12.5 - 3

  11:44