论命题演算系统?中的演绎与证明

发布时间：2021-05-17 20:34

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

【文章来源】：贵州工程应用技术学院学报. 2018,36(03)

【文章页数】：6 页

【参考文献】：
期刊论文
[1]论经典命题逻辑公理系统L中的证明技巧[J]. 程和祥,刘强.  重庆理工大学学报(社会科学). 2019(03)



本文编号：3192409