论文降重
免费查重
推荐文章
数学分析论证形式逻辑推理中易出现的错误及分析
数学分析论证
形式逻辑
错误分析
相干命题逻辑自然推理系统NR的自动证明
相干命题
自然推理
自动证明
可读证明
分层格值命题逻辑系统中几类推理规则的讨论
格蕴涵代数
分层格值逻辑系统
推理规则
封闭性
命题逻辑及谓词逻辑推理证明中的化归法
命题逻辑
谓词逻辑
化归法
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 推理证明中的几类逻辑错误 | ||
| 来源期刊 | 西北职教 | 学科 | 教育 |
| 关键词 | 推理证明 逻辑错误 数学命题 论据 论题 | ||
| 年，卷（期） | xbzj_2003,（1） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 43 | |
| 页数 | 1页 | 分类号 | G633.6 |
| 字数 | 语种 | ||
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2003(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
推理证明
逻辑错误
数学命题
论据
论题
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
西北职教
主办单位：
陕西省教育厅
甘肃省教育厅
宁夏回族自治区教育厅
青海省教育厅
新疆维吾尔自治区教育厅
新疆生产建设兵团教育局
出版周期：
双月刊
ISSN：
CN：
开本：
出版地：
西安市药王洞155号
邮发代号：
创刊时间：
语种：
出版文献量（篇）
5888
总下载数（次）
9
期刊文献
相关文献
推荐文献
