首页> 中文期刊> 《承德职业学院学报》 >反证法的几种逻辑形式

反证法的几种逻辑形式

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

反证法是间接证法的一种.如果我们把欲证的命题写成"若A则B(A→B)"的形式,则反证法就是从需证命题结论B的相反结论(→)B出发,通过正确的逻辑推理导出矛盾,推翻(→)B,从而断定待证结论B成立.……

著录项

来源
《承德职业学院学报》 |2003年第2期|P.75-7519|共2页
作者
刘全振;
展开▼
作者单位

承德民族职业技术学院;

展开▼
原文格式 PDF
正文语种 CHI
中图分类数理逻辑（符号逻辑）;
关键词
伴随矩阵; 求逆矩阵; 推导;

相似文献

中文文献
外文文献
专利

1. 反证法的几种逻辑形式 [J] . 刘全振 . 河北旅游职业学院学报 . 2003,第002期
2. 反证法的逻辑根据——兼论反证法与中学生逻辑思维能力的培养 [J] . 李宗俊 . 宜宾学院学报 . 1992,第002期
3. 更好地比较辩证逻辑与形式逻辑——读《辩证逻辑与形式逻辑比较研究》的思考 [J] . 诸葛殷同 . 皖西学院学报 . 1994,第001期
4. 逻辑函数表达式几种常用形式的转换方法 [J] . 马敬敏 ,任骏原 . 渤海大学学报（自然科学版） . 2011,第004期
5. 论黄展骥的大众逻辑与逻辑研究——"形式"与"非形式"逻辑的普及 [J] . 刘邦凡 . 重庆理工大学学报（自然科学版） . 2006,第012期
6. 论黄展骥的大众逻辑与逻辑研究——“形式”与“非形式”逻辑的普及 [C] . 刘邦凡 . 第二届两岸逻辑教学学术会议 . 2006
7. 非形式逻辑视域下的墨家逻辑研究 [A] . 邱君 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号