首页> 中文会议>2006年中国西部地区信息技术学术研讨会 >命题证明方法及其应用

命题证明方法及其应用

页面导航

摘要
著录项
相似文献
相关主题

摘要

命题是逻辑推理的基础,广泛地用于各门学科之中,其证明方法多种多样,要真正理解并掌握其逻辑思想并不容易.本文给出几种常用证明方法的逻辑原理及其应用方法,它们与通常方式差异较大.但它们相对容易理解,对于正确地应用证明方法证明命题有着重要的帮助和指导作用.

著录项

来源
《2006年中国西部地区信息技术学术研讨会》|2006年|291-292|共2页
会议地点贵州
作者
姚俊萍; 李新社; 李悦;
展开▼
作者单位

中国计算机用户协会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类命题演算、谓词演算、类演算;应用数理逻辑;
关键词
命题; 证明方法; 归纳法; 逻辑推理;

相似文献

中文文献
外文文献
专利

1. 命题逻辑中等价公式的证明方法探讨 [J] . 杨恒云 . 创新教育研究 . 2020,第004期
2. 常见的中值命题的证明方法 [J] . 马德炎 . 保山学院学报 . 2014,第005期
3. 命题逻辑与数学证明方法(Ⅲ) [J] . 孙宗明 . 泰山学院学报 . 2014,第006期
4. 命题逻辑与数学证明方法(Ⅱ) [J] . 孙宗明 ,梁凤鸣 . 泰山学院学报 . 2013,第006期
5. 例谈射影几何命题的证明方法 [J] . 宋占奎 . 陕西教育学院学报 . 2012,第002期
6. 命题逻辑推理的一个代数化证明方法 [C] . 王礼萍 . 全国第十五届离散数学学术研讨会 . 2010
7. 构造性和非构造性几何命题证明方法 [A] . 沈盈 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号