40. 命题逻辑的自然演绎系统NP1 - 1
2023年9月22日 1232观看
西南大学-逻辑学（前三讲音质有些问题）国家级精品课
大学课程 / 哲学与宗教 / 逻辑学
共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
相关视频
05:48在家烙莜面饼，掌握这一招就够了，松软多层还好吃，放凉了也不硬5月前1435观看
01:54比大小：55³³ 与66²²谁大谁小？3月前643观看
09:58历史7__兼容格式 MP4_480x360 - 32022年11月3日699观看
第11/38集 · 13:03爱课程-视频4：希腊哲学发展的梗概 - 2
大学课程2022年10月27日1626观看
11:17这才是成年人该看的，一秒都不忍心错过，看前请自备纸巾！1年前1516观看
01:55万亡魂无声控诉：无锡沦陷，南京大屠杀的血色序幕4月前1161观看
04:44她们拥有美丽的外貌，却因家族魔咒得不到爱情1年前1976观看
第15/32集 · 18:08年数学真题-1 - 1大学课程2022年9月27日1562观看
01:06男人画鬼妆后去厕所，把邻坑大哥吓得屁滚尿流！1年前1759观看
09:24第七单元 解决问题的策略 用列举的策略解决问题（2） - 32022年10月7日2182观看
00:29病房随拍：一天的工作结束，张师傅在进行“重量级”谈话！1年前1542观看
07:32[必修4]1.17正弦函数、余弦函数的图象(一) - 12022年10月7日1729观看
07:24猛兽鲍里斯的尖刺，为什么命中率这么高1年前2321观看
02:10一道六年级数学题，全班都不会，学霸看了也犯愁12月前682观看
15:47流言终结者S02E02 飞机鸟击（致命洗衣机，怀孕章鱼卵） - 22022年11月2日1024观看
04:54【史图馆】中国历代疆域变化第十五版8-11 两魏并立1年前1054观看