离散数学中命题逻辑的应用研究

离散数学又称为计算机数学,它是研究离散量之间的科学。数理逻辑是离散数学的四大模块之一。为了满足自动化推理的客观需要,人类逐渐将逻辑学运用到了计算机科学领域。回顾人类计算机科学的发展历程,可以清晰地看到逻辑学在计算机科学中所奠定的理论基础和积极的推动作用,在计算机硬件设计和软件设计中的应用都非常突出。逻辑学是研究思维规律和思维的形式结构的一门学科。数据逻辑是用数学方法研究逻辑学中形式逻辑的一门分支学科。数理逻辑分成命题逻辑和谓词逻辑。该文主要研究命题逻辑的应用问题,分别研究了推理问题、分工问题、逻辑学家的推理、程序下载、自动调动电路、人员录取方案、人员选派问题。研究方法分别采用命题推理理论、真值表、穷举法、等值演算法。