57. 谓词逻辑推理的规则01 - 1
2023年9月22日 1457观看
西南大学-逻辑学（前三讲音质有些问题）国家级精品课
大学课程 / 哲学与宗教 / 逻辑学
共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:33第1讲 集合 P1 - 12022年10月18日40.7万观看
00:49上海ispo2024 硬核产品1年前624观看
第15/41集 · 03:42计算机的通用性和程序可加载（2）
大学课程2022年9月21日1522观看
02:04赵括纸上谈兵对高管的3个警示11月前985观看
02:25楼下阳台天花板滴水，师傅用仪器检测轻松定位漏水点8月前690观看
10:05空前大瘟疫令华佗无奈_标清 - 22022年11月5日1321观看
第25/65集 · 08:48模块三 第五讲 导数及其运算（1）大学课程2022年9月9日2597观看
00:44天鹅一家小心过马路3月前778观看
06:49年，叶剑英率领五千人进退失据，干脆就地停留，后建不朽功勋8月前1358观看
03:05男人撬门入室，意外收获一个女友 31年前1485观看
07:38图形推理 位置类 翻转 - 12022年10月31日832观看
02:31红糖酥饼，酥脆松软，做法简单颜值高，学会可以开店了，收藏1年前1738观看
第13/39集 · 09:56分块矩阵的行列式 - 3大学课程2022年9月22日542观看
02:53爱吃甜食要注意胆结石1年前1185观看
第23/47集 · 12:23习题课 匀变速直线运动的速度与位移的关系 - 1大学课程2022年10月27日1713观看
00:59这个不能站着吃的救命药，千万别用错了1年前1378观看