首页
浏览
• 资源空间
• 最新资讯
• 网站公告
• 资源点评
依以下方式查找
• 关键字
• 标签
搜索
搜索
登录
首页
>
MOOC课程
>
逻辑学概论
>
第四讲 复合命题的推理:有效推理形式的判定
标签
[无]
所属专题
逻辑学概论
所属分类
[无]
主讲人
陈为蓬
拍摄日期
2015年 春季
资源文件:
文件(夹)名
资源类型
文件大小
资源结构
操作
4.1 重言式、矛盾式和可满足式.mp4
演示版文件
174.6MB
单个文件
4.2 具体推理转换为推理形式.mp4
演示版文件
113.0MB
单个文件
4.3 推理形式转换为复合命题形式.mp4
演示版文件
86.6MB
单个文件
4.4 有效推理形式的判定:真值表法.mp4
演示版文件
347.9MB
单个文件
4.5 有效推理形式的判定:归谬赋值法.mp4
演示版文件
428.9MB
单个文件
专题
逻辑学概论
中的其他资源
•
第五讲 复合命题的推理:命题联结词的充足集
•
第六讲 命题演算:公理系统
•
第十一讲 非经典逻辑初步
•
第二讲 逻辑学的产生和发展
•
第三讲 命题联结词及其基本推理形式
•
第十二讲 余论
•
第七讲 命题演算:公理系统,自然演绎系统
•
第一讲 什么是逻辑学
一起来点评吧
发表评论
系统不支持匿名点评,请先
登录
。
发表评论
所有评论仅代表用户自己意见,请谨慎客观发表评论。
×
资源文件夹
打包下载
关闭窗口
×
选择所属分类
确定
取消
X