公式蕴含的证法
	李红
	2006-03-20
发表期刊	重庆职业技术学院学报
期号	02页码:153-154
摘要	本论文介绍了公式蕴含的几种证法:真值表法、等价演算法、直接证法、间接证法等,灵活应用公式蕴含的证明方法,有利于逻辑推理的顺利进行。
关键词	命题公式 蕴含 直接证法 间接证法
URL	查看原文
语种	中文
EI分类号	O141
原始文献类型	学术期刊
文献类型	期刊论文
条目标识符	https://ir.cqcet.edu.cn/handle/39TD4454/8898
专题	重庆电子科技职业大学
作者单位	1.西南大学; 2.重庆职业技术学院
推荐引用方式 GB/T 7714	李红. 公式蕴含的证法[J]. 重庆职业技术学院学报,2006(02):153-154.
APA	李红.(2006).公式蕴含的证法.重庆职业技术学院学报(02),153-154.
MLA	李红."公式蕴含的证法".重庆职业技术学院学报 .02(2006):153-154.

条目包含的文件
条目无相关文件。

个性服务

查看访问统计

谷歌学术

谷歌学术中相似的文章

[李红]的文章

百度学术

百度学术中相似的文章

[李红]的文章

必应学术

必应学术中相似的文章

[李红]的文章

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。