首页> 中文期刊> 《黔南民族师范学院学报》 >数学命题证明形式的逻辑分析和判定

数学命题证明形式的逻辑分析和判定

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

数学命题的证明步骤是由已知条件逐步推演形成的系统.我们完全可以把这些推演过程转化成为真值形式构成若干推理的前提,然后把这些前提合取并与之导出的结论构成数理逻辑蕴涵式.如果能证明该蕴涵式为重言式,那么其数学命题的证明推理形式就是正确的.

著录项

来源
《黔南民族师范学院学报》 |2005年第4期|36-38|共3页
作者
曾庆华;
展开▼
作者单位

贵州警官职业学院,贵州,贵阳,550005;

展开▼
原文格式 PDF
正文语种 chi
中图分类数理逻辑（符号逻辑）;
关键词
数学命题证明; 真值形式; 蕴涵式; 重言式证明;

相似文献

中文文献
外文文献
专利

1. 关于判定双曲柄机构最小传动角的三个命题及证明 [J] . 常勇 . 机械科学与技术 . 1996,第003期
2. 也谈判定曲柄摇杆机构γ_（min）三命题的证明 [J] . 李钧益 . 机械设计 . 1996,第6期
3. 关于判定曲柄摇杆机构最小传动角三个命题的严格证明 [J] . 常勇 . 机械科学与技术 . 1993,第001期
4. 曲柄摇杆机构中A、D与■相对位置的判定定理及判别最小传动角三个命题的解析证明 [J] . 王良才 . 机械设计 . 1993,第4期
5. 判定曲柄摇杆机构最小传动角三个命题的补充证明 [J] . 吴雅洁 . 机械工程师 . 1990,第005期
6. 上帝存在本体论证明的逻辑分析 [C] . 张力锋 . 第二届两岸逻辑教学学术会议 . 2006
7. 诉讼证明标准的逻辑分析 [A] . 汪学军 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号