打开App
封面图
360P
打开西瓜视频,看完整高清内容
大学慕课头像
大学慕课
5685粉丝413视频
关注

命题逻辑(三):PN推演方法(2)

365次播放2020-03-09发布

《逻辑导论》
29/72

命题逻辑(三):PN推演方法(1)App24:53
命题逻辑(三):PN推演方法(1)
命题逻辑(三):PN推演方法(2)App18:33
播放中
命题逻辑(三):PN推演方法(2)
命题逻辑(三):PN推演方法(3)App16:28
命题逻辑(三):PN推演方法(3)
命题逻辑(三):PN推演方法(4)App18:40
命题逻辑(三):PN推演方法(4)
命题逻辑(三):PN有前提推演App18:54
命题逻辑(三):PN有前提推演
命题逻辑(三):命题逻辑PN推演总结App10:29
命题逻辑(三):命题逻辑PN推演总结
词项逻辑(一):直言命题(1)App18:29
词项逻辑(一):直言命题(1)
词项逻辑(一):直言命题(2)App11:05
词项逻辑(一):直言命题(2)
词项逻辑(一):直言命题(3)App22:15
词项逻辑(一):直言命题(3)
词项逻辑(一):直接推理(上)App19:45
词项逻辑(一):直接推理(上)
词项逻辑(一):直接推理(下)App14:53
词项逻辑(一):直接推理(下)
词项逻辑(一):三段论App11:42
词项逻辑(一):三段论
词项逻辑(二):三段论的规则(1)App16:32
词项逻辑(二):三段论的规则(1)
词项逻辑(二):三段论的非标准形式App13:44
词项逻辑(二):三段论的非标准形式
词项逻辑(二):直言命题的存在含义问题App15:12
词项逻辑(二):直言命题的存在含义问题
词项逻辑(二):用文恩图判定三段论的有效性App15:12
词项逻辑(二):用文恩图判定三段论的有效性
谓词逻辑(一):一阶语言(上)App23:21
谓词逻辑(一):一阶语言(上)
谓词逻辑(一):一阶语言(下)App16:50
谓词逻辑(一):一阶语言(下)
谓词逻辑(一):自然语言中性质命题的符号化App16:13
谓词逻辑(一):自然语言中性质命题的符号化
谓词逻辑(一):自然语言中关系命题的符号化App20:53
谓词逻辑(一):自然语言中关系命题的符号化
谓词逻辑(一):模型和赋值(上)App12:37
谓词逻辑(一):模型和赋值(上)
谓词逻辑(一):模型和赋值(下)App17:19
谓词逻辑(一):模型和赋值(下)
谓词逻辑(一):树形图方法判别有效式(1)App13:31
谓词逻辑(一):树形图方法判别有效式(1)
谓词逻辑(一):树形图方法判别有效式(2)App15:48
谓词逻辑(一):树形图方法判别有效式(2)
谓词逻辑(一):树形图方法判别有效式(3)App17:56
谓词逻辑(一):树形图方法判别有效式(3)
谓词逻辑(一):树形图方法判别有效式(4)App16:38
谓词逻辑(一):树形图方法判别有效式(4)
谓词逻辑(二):解释方法App13:26
谓词逻辑(二):解释方法
谓词逻辑(二):谓词逻辑的自然推演(上)App17:48
谓词逻辑(二):谓词逻辑的自然推演(上)
谓词逻辑(二):谓词逻辑的自然推演(下)App20:08
谓词逻辑(二):谓词逻辑的自然推演(下)
谓词逻辑(二):QN定理证明(1)App11:32
谓词逻辑(二):QN定理证明(1)
谓词逻辑(二):QN定理证明(2)App13:19
谓词逻辑(二):QN定理证明(2)
相关推荐
评论 2
打开App观看
64次播放前天21:50
431次播放前天08:38