已购课程
个人中心
内容中心
关注我们
APP下载
反馈
6.3 命题演算公理系统L中的证明
7871 播放
收藏
下载
手机看
登录后可发评论

评论沙发是我的～

热门评论(0)
    全部评论(0)
      选集(79)
      自动播放
      [1] 1.1 “逻辑和逻辑学
      15.2万播放
      05:29
      1.1 “逻辑和逻辑学
      [2] 1.2 推理和推理形式
      7.0万播放
      09:24
      1.2 推理和推理形式
      [3] 1.3 有效推理形式
      5.5万播放
      14:14
      1.3 有效推理形式
      [4] 1.4 逻辑学的特点
      4.7万播放
      16:05
      1.4 逻辑学的特点
      [5] 1.5 逻辑学的基本准则
      4.4万播放
      22:29
      1.5 逻辑学的基本准则
      [6] 1.6 逻辑学和其他学科的关系
      3.5万播放
      21:53
      1.6 逻辑学和其他学科的关系
      [7] 1.7 关于本课程《逻辑学概论》
      3.3万播放
      19:44
      1.7 关于本课程《逻辑学概论》
      [8] 2.1 中国古代逻辑思想（上）
      3.0万播放
      15:22
      2.1 中国古代逻辑思想（上）
      [9] 2.2 中国古代逻辑思想（中）
      2.5万播放
      11:52
      2.2 中国古代逻辑思想（中）
      [10] 2.3 中国古代逻辑思想（下）
      2.5万播放
      15:26
      2.3 中国古代逻辑思想（下）
      [11] 2.4 印度古代逻辑
      2.4万播放
      10:10
      2.4 印度古代逻辑
      [12] 2.5 古希腊和中世纪逻辑
      2.3万播放
      07:00
      2.5 古希腊和中世纪逻辑
      [13] 2.6 近代西方逻辑
      2.4万播放
      15:35
      2.6 近代西方逻辑
      [14] 2.7 数理逻辑的提出和实现
      2.6万播放
      18:38
      2.7 数理逻辑的提出和实现
      [15] 2.8 数理逻辑的发展
      2.5万播放
      15:28
      2.8 数理逻辑的发展
      [16] 3.1 推理和命题
      2.8万播放
      09:38
      3.1 推理和命题
      [17] 3.2 基本命题和复合命题
      2.8万播放
      18:49
      3.2 基本命题和复合命题
      [18] 3.3 常用命题联结词及其基本推理...
      2.5万播放
      10:48
      3.3 常用命题联结词及其基本推理形式（1）
      [19] 3.4 常用命题联结词及其基本推理...
      2.3万播放
      10:06
      3.4 常用命题联结词及其基本推理形式（2）
      [20] 3.5 常用命题联结词及其基本推理...
      2.2万播放
      09:24
      3.5 常用命题联结词及其基本推理形式（3）
      [21] 3.6 常用命题联结词及其基本推理...
      2.1万播放
      06:04
      3.6 常用命题联结词及其基本推理形式（4）
      [22] 3.7 常用命题联结词及其基本推理...
      2.1万播放
      13:28
      3.7 常用命题联结词及其基本推理形式（5）
      [23] 3.8 常用命题联结词及其基本推理...
      2.1万播放
      06:53
      3.8 常用命题联结词及其基本推理形式（6）
      [25] 4.1 重言式、矛盾式和可满足式
      2.2万播放
      11:20
      4.1 重言式、矛盾式和可满足式
      [26] 4.2 具体推理转换为推理形式
      1.9万播放
      07:20
      4.2 具体推理转换为推理形式
      [27] 4.3 推理形式转换为复合命题形式
      1.8万播放
      05:37
      4.3 推理形式转换为复合命题形式
      [28] 4.4 有效推理形式的判定：真值表...
      2.1万播放
      22:41
      4.4 有效推理形式的判定：真值表法
      [29] 4.5 有效推理形式的判定：归谬赋...
      1.9万播放
      28:01
      4.5 有效推理形式的判定：归谬赋值法
      [30] 5.1 命题联结词：真值函数
      1.6万播放
      14:13
      5.1 命题联结词：真值函数
      [31] 5.2 析取范式
      1.5万播放
      17:47
      5.2 析取范式
      [32] 5.3 为复合命题形式作与之等值的...
      1.2万播放
      09:36
      5.3 为复合命题形式作与之等值的析取范式
      [33] 5.4 合取范式
      1.1万播放
      12:54
      5.4 合取范式
      [34] 5.5 范式存在定理
      8429播放
      03:33
      5.5 范式存在定理
      [35] 5.6 命题联结词的充足集
      1.1万播放
      25:00
      5.6 命题联结词的充足集
      [36] 5.7 命题联结词的独元充足集
      8634播放
      13:44
      5.7 命题联结词的独元充足集
      [37] 6.1 公理系统的构成
      1.2万播放
      27:55
      6.1 公理系统的构成
      [38] 6.2 命题演算的公理系统L
      1.0万播放
      16:48
      6.2 命题演算的公理系统L
      [39] 6.3 命题演算公理系统L中的证明
      7871播放
      待播放
      6.3 命题演算公理系统L中的证明
      [40] 6.4 命题演算公理系统L中的证明...
      7435播放
      09:17
      6.4 命题演算公理系统L中的证明（续）
      [41] 6.5 命题演算公理系统L中的推演
      7221播放
      14:10
      6.5 命题演算公理系统L中的推演
      [42] 7.1 公理系统出发点的延伸
      6794播放
      18:49
      7.1 公理系统出发点的延伸
      [43] 7.2 公理系统的评价
      6831播放
      16:51
      7.2 公理系统的评价
      [44] 7.3 公理系统的性质和评价及其意...
      6005播放
      15:13
      7.3 公理系统的性质和评价及其意义
      [45] 7.4 命题演算的自然演绎系统
      7409播放
      14:29
      7.4 命题演算的自然演绎系统
      [46] 7.5 命题演算自然演绎系统中的证...
      7363播放
      29:46
      7.5 命题演算自然演绎系统中的证明和推演
      [47] 8.1 基本命题的结构
      1.1万播放
      09:03
      8.1 基本命题的结构
      [48] 8.2 词项的内涵和外延
      1.1万播放
      04:46
      8.2 词项的内涵和外延
      [49] 8.3 词项的种类
      8912播放
      07:24
      8.3 词项的种类
      [50] 8.4 词项间的关系
      8584播放
      12:28
      8.4 词项间的关系
      [51] 8.5 词项的定义
      9854播放
      25:09
      8.5 词项的定义
      [52] 8.6 词项的划分
      7635播放
      10:51
      8.6 词项的划分
      [53] 8.7 谓词的分类
      8370播放
      09:14
      8.7 谓词的分类
      [54] 【清华大学】逻辑学概论（全·配字幕...
      1.9万播放
      10:17
      【清华大学】逻辑学概论（全·配字幕）(8.8 量词)
      [55] 【清华大学】逻辑学概论（全·配字幕...
      7313播放
      05:36
      【清华大学】逻辑学概论（全·配字幕）(8.9 联词)
      [56] 9.1 基本命题的推理
      9412播放
      05:50
      9.1 基本命题的推理
      [57] 9.2 传统逻辑对基本命题的分析
      8605播放
      07:34
      9.2 传统逻辑对基本命题的分析
      [58] 9.3 性质命题中主、谓词的周延
      1.1万播放
      09:41
      9.3 性质命题中主、谓词的周延
      [59] 9.4 命题变形的推理
      1.1万播放
      15:54
      9.4 命题变形的推理
      [60] 9.5 根据对当关系的推理
      1.0万播放
      08:22
      9.5 根据对当关系的推理
      [61] 9.6 三段论
      1.7万播放
      11:58
      9.6 三段论
      [62] 9.7 三段论的式与格
      1.2万播放
      11:07
      9.7 三段论的式与格
      [63] 9.8 有效三段论的判定
      1.3万播放
      30:48
      9.8 有效三段论的判定
      [64] 10.1 性质命题
      9971播放
      24:53
      10.1 性质命题
      [65] 10.2 主词非空的预设
      6453播放
      18:34
      10.2 主词非空的预设
      [66] 10.3 关系命题的结构
      6540播放
      08:29
      10.3 关系命题的结构
      [67] 10.4 关系命题根据量词的推理
      5714播放
      10:32
      10.4 关系命题根据量词的推理
      [68] 10.5 关系命题根据谓词性质的推...
      6048播放
      24:36
      10.5 关系命题根据谓词性质的推理方法
      [69] 10.6 谓词演算简介
      5654播放
      14:24
      10.6 谓词演算简介
      [70] 11.1 非经典（非标准）逻辑
      6396播放
      06:55
      11.1 非经典（非标准）逻辑
      [71] 11.2 多值逻辑
      5191播放
      11:15
      11.2 多值逻辑
      [72] 11.3 模糊逻辑
      6290播放
      17:58
      11.3 模糊逻辑
      [73] 11.4 模态逻辑
      6721播放
      20:25
      11.4 模态逻辑
      [74] 11.5 规范逻辑
      6264播放
      12:44
      11.5 规范逻辑
      [75] 11.6 时态逻辑
      7201播放
      12:12
      11.6 时态逻辑
      [76] 11.7 弗协调逻辑
      5096播放
      18:25
      11.7 弗协调逻辑
      [78] 12.2 探求因果关系的逻辑方法
      7787播放
      17:53
      12.2 探求因果关系的逻辑方法
      [79] 12.3 证论和反驳
      8093播放
      28:44
      12.3 证论和反驳
      [80] 12.4 悖论
      7702播放
      14:26
      12.4 悖论
      [81] 12.5 本课程《逻辑学概论》内容...
      1.0万播放
      23:14
      12.5 本课程《逻辑学概论》内容回顾
      为你推荐
      14:05
      【中山大学公开课：逻辑学导引】数理...
      7828播放
      【中山大学公开课：逻辑学导引】数理逻辑简介（中）
      07:21
      §3 归纳法与数学归纳法 §4 数...
      2017播放
      §3 归纳法与数学归纳法 §4 数学构造法（上）
      11:24
      第四章 数列 *数学归纳法（2）（...
      1113播放
      第四章 数列 *数学归纳法（2）（下）
      14:44
      2.1 模糊集合论（一）：集合论（...
      1154播放
      2.1 模糊集合论（一）：集合论（上）
      02:38
      数学7上：下列4个结论，正确的有几...
      1520播放
      数学7上：下列4个结论，正确的有几个？有理数基础知识常考题
      05:38
      2-2.4 方阵乘积的行列式（上）
      1453播放
      2-2.4 方阵乘积的行列式（上）
      11:43
      【上海交通大学公开课：数学之旅】不...
      8.8万播放
      【上海交通大学公开课：数学之旅】不动点定理（上）
      03:34
      介绍希尔伯特空间的重要例子
      940播放
      介绍希尔伯特空间的重要例子
      08:19
      3.2.1 复数代数的加、减运算及...
      1707播放
      3.2.1 复数代数的加、减运算及意义 题型探究2（上）
      05:54
      模块四 第三讲 积分上限函数的导数...
      1149播放
      模块四 第三讲 积分上限函数的导数（下）
      02:01
      斐波那契数列求解公式，高中数学数列...
      1094播放
      斐波那契数列求解公式，高中数学数列求和方法，经典数列求和例题
      02:38
      俄罗斯数学竞赛题，求代数式的值，方...
      1397播放
      俄罗斯数学竞赛题，求代数式的值，方法超简单！
      04:01
      初中数学：反比例函数，K值的几何意...
      1415播放
      初中数学：反比例函数，K值的几何意义，绥化中考数学填空题
      03:18
      创造条件求数学解·思维转换·难题变...
      1364播放
      创造条件求数学解·思维转换·难题变简单

      增值电信业务经营许可证 粤B2-20090191

      工业和信息化部备案管理系统网站 粤B2-20090191-18