论命题演算系统(←→)中的演绎与证明

• 作者: 程和祥 贺什
• 来源期刊: 贵州工程应用技术学院学报
• 学科: 哲学
• 关键词: (←→) 演绎 证明 “公式的相互作用”
• 年，卷（期）: 2018,（3）
• 所属期刊栏目: 逻辑学专栏
• 页码范围: 20-25
• 页数: 6页
• 分类号: B81
• 字数: 4683字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-7059.2018.03.003

摘要

在命题演算系统中(←→),由于演绎定理的运用,演绎序列通常都会较为简单,而证明中只能使用公理和MP规则,因而证明的步骤较为复杂.而且,有一类定理的演绎程序比较容易获得,而证明步骤却常常让人“意想不到”.在数理逻辑的教学过程中,如何寻找“证明的技巧”,是一个颇为实际的问题.事实上,对于有一类定理,通过对演绎程序的“仔细观察”,可以获得相应的“证明技巧”.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程和祥	西南政法大学行政法学院	3	2	1.0	1.0
2	贺什	西南政法大学行政法学院	1	1	1.0	1.0