41. 命题逻辑的自然演绎系统NP1 - 2
2023年9月22日 1064观看
西南大学-逻辑学（前三讲音质有些问题）国家级精品课
大学课程 / 哲学与宗教 / 逻辑学
共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
相关视频
第18/68集 · 17:30一维离散型随机变量 - 3
大学课程2022年9月24日1254观看
01:00战前挖好7个洞 他说：怕死了来不及1月前1389观看
01:28炒干豆腐，很多人都做错了，大厨教你正确做法，鲜香入味好吃下饭1年前779观看
第5/15集 · 08:13【讲座】格非：文学时空观的演变（02） - 1大学课程2022年11月5日2087观看
03:24不结婚不生孩子，能养老吗？6月前1188观看
04:55蛟龙潜海（11）2月前674观看
第103/108集 · 15:51初等数论第三十五讲 - 1大学课程2022年10月27日817观看
00:50提醒：这三种常见食物，可能会滋养癌细胞！1月前1423观看
第9/24集 · 11:24古诗十九首研究和反思 吉林大学公开课（全12集）(5) - 1大学课程2022年11月3日1183观看
10:36位带操作（第1节）—原理讲解 - 32022年11月5日603观看
00:21美国夜空_国际空间站的视角6月前949观看
03:40钱永远买不来精神世界2年前1314观看
02:23IgA肾病，能不用激素吗1年前1212观看
13:54年二级建造师水利实务课课程习题解析 - 李想(2) - 12022年11月7日988观看
01:00欧阳询书法《谷》字的写法2023年10月18日646观看
02:54两次AI周期，一个赢家4月前1069观看