97. 自然演绎系统中的全称量词规则 - 3
2年前 600观看
西南大学-逻辑学（前三讲音质有些问题）国家级精品课
大学课程 / 哲学与宗教 / 逻辑学
共103集 19.6万人观看
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
相关视频
04:13如果孩子想吃牛排，你就自己在家做吧6月前588观看
01:36你知道borrow from的含义吗？快跟着老师学习吧，让你秒懂1年前974观看
第3/18集 · 20:46【斯坦福大学公开课】法律学(1) - 3
大学课程2022年11月5日1612观看
00:31全国人大代表王旭：孩子之间没有差距只有差异，要尊重差异相信孩子 #2024全国两会1年前1385观看
01:49肺癌术后需定期检查的项目及频率，牢记！1年前694观看
20:30【民刑导学】19.破坏社会主义市场经济秩序罪（二） - 22022年11月10日2285观看
11:46第九讲连续函数的运算和函数的连续性 - 12022年10月27日4250观看
00:56给孩子吃叶黄素，能预防近视？1年前1452观看
01:03早餐决定减肥速度，快速瘦身，早餐要这样吃7月前979观看
03:11高中数学应会题目求函数在闭区间上的值域！3月前600观看
27:12粒子统计力学：《概率》第一讲 - 32022年10月31日792观看
第102/228集 · 13:14第七章1 微分方程的基本概念 - 3大学课程2022年11月17日1086观看
11:38第10章 Java的输入输出 - 22022年10月31日1037观看
00:09挖机师傅放生锦鲤鱼，小小举动显大爱1年前1492观看
02:07体检不做这5项检查，相当于白做，得了癌症都不知道！1年前747观看
01:10第四十四集 7天无理由退货，适合所有网购商品吗？1月前1178观看