45. 命题逻辑的自然演绎系统NP2 - 3
2023年9月22日 1001观看
西南大学-逻辑学（前三讲音质有些问题）国家级精品课
大学课程 / 哲学与宗教 / 逻辑学
共103集 20万人观看
1逻辑学的对象 - 115:07- 2逻辑学的对象 - 215:17
- 3逻辑学的对象 - 314:59
4逻辑学的性质及作用、逻辑学的发展 - 112:15- 5逻辑学的性质及作用、逻辑学的发展 - 212:20
- 6逻辑学的性质及作用、逻辑学的发展 - 312:16
7逻辑学研究与学习方法01 - 113:23- 8逻辑学研究与学习方法01 - 313:22
9传统词项逻辑概述0101:36
10词项01 - 115:11- 11词项01 - 215:19
- 12词项01 - 315:12
13直言命题01 - 110:12- 14直言命题01 - 210:16
- 15直言命题01 - 310:06
16直言命题的直接推理01 - 115:22- 17直言命题的直接推理01 - 215:30
- 18直言命题的直接推理01 - 315:16
19三段论1 - 114:13- 20三段论1 - 214:18
- 21三段论1 - 314:09
22三段论2 - 114:35- 23三段论2 - 314:40
24三段论3 - 112:37- 25三段论3 - 212:39
- 26三段论3 - 312:31
27命题逻辑概述01 - 106:28- 28命题逻辑概述01 - 306:25
29复合命题及其推理01 - 110:59- 30复合命题及其推理01 - 311:02
31复合命题及其推理02 - 113:16- 32复合命题及其推理02 - 213:26
- 33复合命题及其推理02 - 313:15
34命题形式和真值表方法01 - 114:40- 35命题形式和真值表方法01 - 214:47
- 36命题形式和真值表方法01 - 314:37
37命题形式和真值表方法02 - 117:43- 38命题形式和真值表方法02 - 217:51
- 39命题形式和真值表方法02 - 317:40
40命题逻辑的自然演绎系统NP1 - 117:19- 41命题逻辑的自然演绎系统NP1 - 217:23
- 42命题逻辑的自然演绎系统NP1 - 317:15
43命题逻辑的自然演绎系统NP2 - 113:04- 44命题逻辑的自然演绎系统NP2 - 213:05
- 45命题逻辑的自然演绎系统NP2 - 313:02
46命题的谓词形式01 - 111:02- 47命题的谓词形式01 - 311:06
48命题形式化的一般方法 - 111:03- 49命题形式化的一般方法 - 311:08
50谓词逻辑公式01 - 113:49- 51谓词逻辑公式01 - 313:46
52简单命题的逻辑结构01 - 113:44- 53简单命题的逻辑结构01 - 213:46
- 54简单命题的逻辑结构01 - 313:39
55简单命题的逻辑结构02 - 109:54- 56简单命题的逻辑结构02 - 309:57
57谓词逻辑推理的规则01 - 114:18- 58谓词逻辑推理的规则01 - 214:25
- 59谓词逻辑推理的规则01 - 314:15
60谓词逻辑推理的规则02 - 112:04- 61谓词逻辑推理的规则02 - 212:09
- 62谓词逻辑推理的规则02 - 312:06
63一阶量化演绎系统Qm 01 - 107:46- 64一阶量化演绎系统Qm 01 - 307:46
65一阶量化演绎系统Qm 02 - 115:24- 66一阶量化演绎系统Qm 02 - 215:28
- 67一阶量化演绎系统Qm 02 - 315:19
68归纳逻辑概述01 - 110:56- 69归纳逻辑概述01 - 310:58
70传统归纳逻辑01 - 114:27- 71传统归纳逻辑01 - 314:33
72现代归纳逻辑01 - 113:58- 73现代归纳逻辑01 - 314:00
74科学逻辑概述、科学解释与科学预测01 - 112:28- 75科学逻辑概述、科学解释与科学预测01 - 312:26
76科学假说0109:46
77论辩逻辑01 - 114:25- 78论辩逻辑01 - 214:28
- 79论辩逻辑01 - 314:27
80论辩逻辑02 - 106:58- 81论辩逻辑02 - 306:56
82辨谬逻辑 - 114:44- 83辨谬逻辑 - 314:42
84逻辑思维的基本规则概述及同一律 - 110:05- 85逻辑思维的基本规则概述及同一律 - 310:11
86矛盾律1 - 108:18- 87矛盾律1 - 308:22
88排中律1 - 114:02- 89排中律1 - 314:00
90三段论的基本规则（一） - 112:51- 91三段论的基本规则（一） - 312:52
92三段论的基本规则（二） - 108:49- 93三段论的基本规则（二） - 308:47
94一阶逻辑中的代入 - 108:33- 95一阶逻辑中的代入 - 308:32
96自然演绎系统中的全称量词规则 - 109:09- 97自然演绎系统中的全称量词规则 - 309:07
98命题演算的基本置换定理 - 112:22- 99命题演算的基本置换定理 - 312:24
100合取范式和析取范式及其应用 - 110:11- 101合取范式和析取范式及其应用 - 310:11
102简单析取式与简单合取式 - 114:17- 103简单析取式与简单合取式 - 314:23
相关视频
27:37第十一讲 文言文阅读秋季精讲三：议论说理类文言文 - 32022年10月27日1685观看
05:03【非虚构写作课程—Roxane Gay】写作目的2022年1月11日2.4万观看
第66/109集 · 08:15P27 公文写作能力基础（下） - 3
大学课程2022年9月22日2490观看
第54/304集 · 20:21公文写作规范-写作 - 2大学课程2022年11月16日1430观看
13:06C语言OJ题目作业 - 12022年11月8日852观看
第68/79集 · 08:45公文筐测验（2） - 1大学课程2022年9月9日1493观看
29:21公务员省考-公文写作 -【名师专项点拨-申论】(1) - 12022年11月6日5577观看
56:04年广东省考公务员申论大作文题冲刺 公文写作题举一反三1年前1451观看
08:54申论 2020年公务员联考申论应用写作能力—应用文文种逻辑 - 32023年8月8日734观看
第24/63集 · 05:24文言文字词应该如何教才能更吸引学生？ - 1大学课程2022年9月19日2395观看
01:09高效背诵方法2023年7月14日1873观看
第2/33集 · 43:25【2021考研英语-朱伟英语写作句子代练】基础句型写作 - 2考研留学2022年11月3日1637观看
14:50第6单元 写作-语言简明-部优 - 32022年11月16日1031观看
06:53【4月合集|EnglishClass101】20节地道英语课|语法提升|听力攻克|流利口语|学术写作-EnglishClass101(7)2022年11月3日1664观看
07:24十个最佳方法教你如何自学语言(词汇)2022年11月6日1052观看
06:30第04课-主动词汇训练：培养“英语脑”思维，像母语一样学口语 - 32022年9月29日8352观看