命题逻辑中演绎推理方法的比较与研究

• 作者: 曹挚
• 来源期刊: 青年时代
• 关键词: 演绎推理 命题逻辑 真值表 推理规则 间接证明
• 年，卷（期）: 2016,（20）
• 所属期刊栏目: 职业教育
• 页码范围: 149
• 页数: 1页
• 字数: 1884字
• 语种: 中文

摘要

演绎推理是命题逻辑中的重要知识点,演绎推理的方法主要分成三种:真值表法、推理规则法和间接证明法.本文介绍了这三种方法的核心思想,并通过例子对方法进行了具体说明,最后对这三种方法进行了比较与分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹挚		15	3	1.0	1.0