已购课程
个人中心
内容中心
关注我们
APP下载
反馈
谓词逻辑证明
4.2万 播放
收藏
下载
手机看
登录后可发评论

评论沙发是我的～

热门评论(0)
    全部评论(0)
      选集(16)
      自动播放
      [1] 简介
      35.3万播放
      03:21
      简介
      [2] 什么是逻辑学
      15.3万播放
      24:27
      什么是逻辑学
      [3] 定义
      6.4万播放
      17:11
      定义
      [4] 命题
      4.9万播放
      23:51
      命题
      [5] 学习和了解论证
      4.2万播放
      38:01
      学习和了解论证
      [6] 谬论
      3.4万播放
      31:50
      谬论
      [7] 论证分析
      3.0万播放
      16:11
      论证分析
      [8] 直言命题
      3.0万播放
      34:38
      直言命题
      [9] 直言三段论
      2.9万播放
      17:47
      直言三段论
      [10] 析取三段论和假言三段论
      2.6万播放
      14:08
      析取三段论和假言三段论
      [11] 命题逻辑的语言
      2.9万播放
      31:55
      命题逻辑的语言
      [12] 真值表判断论证的有效性
      2.2万播放
      21:28
      真值表判断论证的有效性
      [13] 证明
      2.8万播放
      31:50
      证明
      [14] 条件证明与反证法
      2.6万播放
      13:00
      条件证明与反证法
      [15] 谓词逻辑
      4.4万播放
      32:32
      谓词逻辑
      [16] 谓词逻辑证明
      4.2万播放
      待播放
      谓词逻辑证明
      为你推荐
      09:10
      7.2.1复数的加、减运算及其几何...
      1387播放
      7.2.1复数的加、减运算及其几何意义（下）
      10:14
      第三章 数系的扩充与复数的引入 3...
      1174播放
      第三章 数系的扩充与复数的引入 3.2复数代数形式的四则运算（下）
      11:15
      【可汗学院公开课：算术与代数预备课...
      10.5万播放
      【可汗学院公开课：算术与代数预备课程：乘法与除法】两位数乘两位数
      01:21
      9999=100？填上运算符号，使...
      961播放
      9999=100？填上运算符号，使等式成立！秒答的人难得一见
      23:04
      【微积分】导数符号（下）
      1339播放
      【微积分】导数符号（下）
      05:11
      模块二 第四节 三角恒等变换公式（...
      1273播放
      模块二 第四节 三角恒等变换公式（2）（上）
      11:41
      第一章 空间向量与立体几何 空间向...
      2.9万播放
      第一章 空间向量与立体几何 空间向量及其线性运算（上）
      17:19
      小侯七线性代数第三章第3节 向量...
      764播放
      小侯七线性代数第三章第3节 向量组的秩和极大无关组（下）
      07:52
      模块五 4.4 线性方程组解集构造...
      1153播放
      模块五 4.4 线性方程组解集构造（下）
      16:56
      【高等数学——柳重堪】28向量代数...
      1034播放
      【高等数学——柳重堪】28向量代数（中）
      16:07
      复数矩阵和快速傅里叶变换（中）
      1609播放
      复数矩阵和快速傅里叶变换（中）
      06:54
      第一讲 数列极限的定义与性质（五）...
      992播放
      第一讲 数列极限的定义与性质（五）（上）
      09:03
      模块七 7.5-旋转曲面的面积（下...
      1410播放
      模块七 7.5-旋转曲面的面积（下）（上）
      09:31
      模块二 第四讲 无穷小与无穷大及极...
      903播放
      模块二 第四讲 无穷小与无穷大及极限的运算法则（下）

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

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