清华大学公开课：陈为蓬《逻辑学概论》-清华大学陈为蓬《逻辑学概论》课程：命题演算中公理系统L中的证明（续）6.4-网易公开课

已购课程

个人中心 

内容中心

 关注我们

进入关怀模式

APP下载

反馈

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

3.0万播放

下载

手机看

登录后可发评论

评论沙发是我的～

选集(81)

自动播放

[1] 清华大学公开课：《逻辑学概论》逻辑...

70.9万播放

05:29

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

[2] 清华大学陈为蓬《逻辑学概论》课程：...

36.3万播放

09:24

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

[3] 清华大学陈为蓬《逻辑学概论》课程：...

27.5万播放

14:14

清华大学陈为蓬《逻辑学概论》课程：有效推理形式1.3

[4] 清华大学陈为蓬《逻辑学概论》课程：...

23.1万播放

16:05

清华大学陈为蓬《逻辑学概论》课程：逻辑学的特点1.4

[5] 清华大学陈为蓬《逻辑学概论》课程：...

19.9万播放

22:29

清华大学陈为蓬《逻辑学概论》课程：逻辑学的基本准则1.5

[6] 清华大学陈为蓬《逻辑学概论》课程：...

16.6万播放

21:53

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

[7] 清华大学陈为蓬《逻辑学概论》课程：...

14.5万播放

19:44

清华大学陈为蓬《逻辑学概论》课程：关于本课程1.7

[8] 清华大学陈为蓬《逻辑学概论》课程：...

13.5万播放

15:22

清华大学陈为蓬《逻辑学概论》课程：中国古代逻辑思想（上）1.8

[9] 清华大学陈为蓬《逻辑学概论》课程：...

13.0万播放

11:52

清华大学陈为蓬《逻辑学概论》课程：中国古代逻辑思想（中）2.2

[10] 清华大学陈为蓬《逻辑学概论》课程：...

12.4万播放

15:26

清华大学陈为蓬《逻辑学概论》课程：中国古代逻辑学思想（下）2.3

[11] 清华大学陈为蓬《逻辑学概论》课程：...

11.4万播放

10:10

清华大学陈为蓬《逻辑学概论》课程：印度古代逻辑2.4

[12] 清华大学陈为蓬《逻辑学概论》课程：...

10.7万播放

07:00

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

[13] 清华大学陈为蓬《逻辑学概论》课程：...

11.2万播放

15:35

清华大学陈为蓬《逻辑学概论》课程：近代西方逻辑2.6

[14] 清华大学陈为蓬《逻辑学概论》课程：...

11.5万播放

18:38

清华大学陈为蓬《逻辑学概论》课程：数理逻辑的提出和实现2.7

[15] 清华大学陈为蓬《逻辑学概论》课程：...

10.9万播放

15:28

清华大学陈为蓬《逻辑学概论》课程：数理逻辑的发展2.8

[16] 清华大学陈为蓬《逻辑学概论》课程：...

11.1万播放

09:38

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

[17] 清华大学陈为蓬《逻辑学概论》课程：...

11.2万播放

18:49

清华大学陈为蓬《逻辑学概论》课程：基本命题和复合命题3.2

[18] 清华大学陈为蓬《逻辑学概论》课程：...

10.4万播放

10:48

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

[19] 清华大学陈为蓬《逻辑学概论》课程：...

9.4万播放

10:06

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

[20] 清华大学陈为蓬《逻辑学概论》课程：...

8.6万播放

09:24

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

[21] 清华大学陈为蓬《逻辑学概论》课程：...

8.3万播放

06:04

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

[22] 清华大学陈为蓬《逻辑学概论》课程：...

8.4万播放

13:28

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

[23] 清华大学陈为蓬《逻辑学概论》课程：...

7.4万播放

06:53

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

[24] 清华大学陈为蓬《逻辑学概论》课程：...

7.0万播放

06:54

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

[25] 清华大学陈为蓬《逻辑学概论》课程：...

7.8万播放

11:20

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

[26] 清华大学陈为蓬《逻辑学概论》课程：...

6.6万播放

07:20

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

[27] 清华大学陈为蓬《逻辑学概论》课程：...

6.1万播放

05:37

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

[28] 清华大学陈为蓬《逻辑学概论》课程：...

7.0万播放

22:41

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

[29] 清华大学陈为蓬《逻辑学概论》课程：...

6.2万播放

28:01

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

[30] 清华大学陈为蓬《逻辑学概论》课程：...

5.6万播放

14:13

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

[31] 清华大学陈为蓬《逻辑学概论》课程：...

5.0万播放

17:47

清华大学陈为蓬《逻辑学概论》课程：析取范式5.2

[32] 清华大学陈为蓬《逻辑学概论》课程：...

4.4万播放

09:36

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

[33] 清华大学陈为蓬《逻辑学概论》课程：...

4.2万播放

12:54

清华大学陈为蓬《逻辑学概论》课程：合取范式5.4

[34] 清华大学陈为蓬《逻辑学概论》课程：...

3.6万播放

03:33

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

[35] 清华大学陈为蓬《逻辑学概论》课程：...

4.1万播放

25:00

清华大学陈为蓬《逻辑学概论》课程：命题联结词的充足集5.6

[36] 清华大学陈为蓬《逻辑学概论》课程：...

3.7万播放

13:44

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

[37] 清华大学陈为蓬《逻辑学概论》课程：...

4.1万播放

27:55

清华大学陈为蓬《逻辑学概论》课程：公理系统的构成6.1

[38] 清华大学陈为蓬《逻辑学概论》课程：...

3.7万播放

16:48

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

[39] 清华大学陈为蓬《逻辑学概论》课程：...

3.4万播放

12:17

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

[40] 清华大学陈为蓬《逻辑学概论》课程：...

3.0万播放

待播放

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

[41] 清华大学陈为蓬《逻辑学概论》课程：...

3.0万播放

14:10

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

[42] 清华大学陈为蓬《逻辑学概论》课程：...

3.0万播放

18:49

清华大学陈为蓬《逻辑学概论》课程：公理系统出发点的延伸7.1

[43] 清华大学陈为蓬《逻辑学概论》课程：...

2.9万播放

16:51

清华大学陈为蓬《逻辑学概论》课程：公理系统的评价7.2

[44] 清华大学陈为蓬《逻辑学概论》课程：...

2.6万播放

15:13

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

[45] 清华大学陈为蓬《逻辑学概论》课程：...

3.0万播放

14:29

清华大学陈为蓬《逻辑学概论》课程：命题演算的自然演绎系统7.4

[46] 清华大学陈为蓬《逻辑学概论》课程：...

3.1万播放

29:46

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

[47] 清华大学陈为蓬《逻辑学概论》课程：...

3.0万播放

09:03

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

[48] 清华大学陈为蓬《逻辑学概论》课程：...

2.8万播放

04:46

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

[49] 清华大学陈为蓬《逻辑学概论》课程：...

2.7万播放

07:24

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

[50] 清华大学陈为蓬《逻辑学概论》课程：...

2.9万播放

12:28

清华大学陈为蓬《逻辑学概论》课程：词项间的关系8.4

[51] 清华大学陈为蓬《逻辑学概论》课程：...

3.0万播放

25:09

清华大学陈为蓬《逻辑学概论》课程：词项的定义8.5

[52] 清华大学陈为蓬《逻辑学概论》课程：...

2.7万播放

10:51

清华大学陈为蓬《逻辑学概论》课程：词项的划分8.6

[53] 清华大学陈为蓬《逻辑学概论》课程：...

2.6万播放

09:14

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

[54] 清华大学陈为蓬《逻辑学概论》课程：...

2.7万播放

10:17

清华大学陈为蓬《逻辑学概论》课程：量词8.8

[55] 清华大学陈为蓬《逻辑学概论》课程：...

2.7万播放

05:36

清华大学陈为蓬《逻辑学概论》课程：连词8.9

[56] 清华大学陈为蓬《逻辑学概论》课程：...

2.8万播放

05:50

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

[57] 清华大学陈为蓬《逻辑学概论》课程：...

2.7万播放

07:34

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

[58] 清华大学陈为蓬《逻辑学概论》课程：...

2.8万播放

09:41

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

[59] 清华大学陈为蓬《逻辑学概论》课程：...

2.8万播放

15:54

清华大学陈为蓬《逻辑学概论》课程：命题变形的推理9.4

[60] 清华大学陈为蓬《逻辑学概论》课程：...

2.9万播放

08:22

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

[61] 清华大学陈为蓬《逻辑学概论》课程：...

3.1万播放

11:58

清华大学陈为蓬《逻辑学概论》课程：三段论9.6

[62] 清华大学陈为蓬《逻辑学概论》课程：...

2.9万播放

11:07

清华大学陈为蓬《逻辑学概论》课程：三段论的式与格9.7

[63] 清华大学陈为蓬《逻辑学概论》课程：...

3.1万播放

30:48

清华大学陈为蓬《逻辑学概论》课程：有效三段论的判定9.8

[64] 清华大学陈为蓬《逻辑学概论》课程：...

3.3万播放

24:53

清华大学陈为蓬《逻辑学概论》课程：性质命题10.1

[65] 清华大学陈为蓬《逻辑学概论》课程：...

2.6万播放

18:34

清华大学陈为蓬《逻辑学概论》课程：主词非空的预设10.2

[66] 清华大学陈为蓬《逻辑学概论》课程：...

2.4万播放

08:29

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

[67] 清华大学陈为蓬《逻辑学概论》课程：...

2.5万播放

10:32

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

[68] 清华大学陈为蓬《逻辑学概论》课程：...

2.5万播放

24:36

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

[69] 清华大学陈为蓬《逻辑学概论》课程：...

2.7万播放

14:24

清华大学陈为蓬《逻辑学概论》课程：谓词演算简介10.6

[70] 清华大学陈为蓬《逻辑学概论》课程：...

2.3万播放

06:55

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

[71] 清华大学陈为蓬《逻辑学概论》课程：...

2.3万播放

11:15

清华大学陈为蓬《逻辑学概论》课程：多值逻辑11.2

[72] 清华大学陈为蓬《逻辑学概论》课程：...

2.4万播放

17:58

清华大学陈为蓬《逻辑学概论》课程：模糊逻辑11.3

[73] 清华大学陈为蓬《逻辑学概论》课程：...

2.4万播放

20:25

清华大学陈为蓬《逻辑学概论》课程：模态逻辑11.4

[74] 清华大学陈为蓬《逻辑学概论》课程：...

2.3万播放

12:44

清华大学陈为蓬《逻辑学概论》课程：规范逻辑11.5

[75] 清华大学陈为蓬《逻辑学概论》课程：...

2.9万播放

12:12

清华大学陈为蓬《逻辑学概论》课程：时态逻辑11.6

[76] 清华大学陈为蓬《逻辑学概论》课程：...

2.5万播放

18:25

清华大学陈为蓬《逻辑学概论》课程：弗协调逻辑11.7

[77] 清华大学陈为蓬《逻辑学概论》课程：...

3.0万播放

19:02

清华大学陈为蓬《逻辑学概论》课程：演绎和规划12.1

[78] 清华大学陈为蓬《逻辑学概论》课程：...

3.3万播放

17:53

清华大学陈为蓬《逻辑学概论》课程：探求因果关系的逻辑方法12.2

[79] 清华大学陈为蓬《逻辑学概论》课程：...

3.4万播放

28:44

清华大学陈为蓬《逻辑学概论》课程：论证和反驳12.3

[80] 清华大学陈为蓬《逻辑学概论》课程：...

3.4万播放

14:26

清华大学陈为蓬《逻辑学概论》课程：悖论12.4

[81] 清华大学陈为蓬《逻辑学概论》课程：...

4.3万播放

23:14

清华大学陈为蓬《逻辑学概论》课程：本课程回顾12.5