数理逻辑中命题公式等价证明的程序化研究与实现  

作　　者：杨剑兰 周青 

机构地区：[1]昆明医科大学海源学院,云南省昆明市650106

出　　处：《电子技术与软件工程》2023年第7期186-189,共4页ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

基　　金：云南省教育厅科学研究基金项目《离散数学中数理逻辑、集合论、图论相关推演的计算机程序化研究与实现》(项目编号:2023J1405)。

摘　　要：本文介绍了逻辑学中数理逻辑中的命题公式,并解释命题公式的等价判断标准,联系其与计算机编程的关系。最后,通过具体的例题,给出了求解两个命题公式是否等价的具体步骤和编程测试结果,以此说明了命题公式在数理逻辑问题中的具体用法,也证明了运用面向对象编程代码实现自动化求解相关问题的可行性。

关 键 词：逻辑学 数理逻辑 命题公式 程序设计 

分 类 号：O141[理学—数学]