【清华大学】逻辑学概论4.5 有效推理形式的判定：归谬赋值法(1)
以上内容来自专辑
- 【清华大学】逻辑学概论4.4 有效推理形式的判定：真值表法(1)902122:41
- 【清华大学】逻辑学概论4.5 有效推理形式的判定：归谬赋值法(1)740428:01
- 【清华大学】逻辑学概论5.1 命题联结词：真值函数(1)536314:13
- 【清华大学】逻辑学概论5.2 析取范式(1)498717:47
- 【清华大学】逻辑学概论5.3 为复合命题形式作与之等值的析取范式(1)412109:36
- 【清华大学】逻辑学概论-5.4 合取范式(1)383412:54
- 【清华大学】逻辑学概论-5.5 范式存在定理(1)316003:32
- 【清华大学】逻辑学概论-5.6 命题联结词的充足集(1)369825:00
- 【清华大学】逻辑学概论-5.7 命题联结词的独元充足集(1)289913:44
- 【清华大学】逻辑学概论-6.1 公理系统的构成(1)320327:55
用户评论
- 1310816hfsk
- 梦梦清同
梦梦到此一游
- zoe_coffey
哈哈
- 听友309255694
终于都走光了么？终于没有人评论了么？
© 2014-2024 喜马拉雅 版权所有