杨井荣，李思莉

(成都理工大学 工程技术学院 计算机科学系，四川 乐山 614007)

0 引 言

计算机算法的实现不仅依靠硬件，还必须依靠那些能够让硬件运行下来的各种编制的程序软件。计算机硬件是由很多逻辑电路所组成的，而逻辑电路是建立在布尔代数的命题逻辑的基础上的，命题逻辑运算就可以变成布尔代数的演算[1]。可见，计算机硬件与逻辑之间的这种关联直接导致计算机软件与逻辑之间存在密不可分的联系。编程的过程也是算法形成的过程，算法是在计算机功能的基础上完成的[2]。现实中，计算机的操作是在基本的逻辑运算基础上生成算法，并最终用这些基本的运算元来代替的计算完成的[3]。

命题逻辑是现代逻辑较简单、较基本的组成部分,它不考虑把命题分析成个体词、谓词和量词等非命题成分的组合,只研究由命题和命题联结词构成的复合命题，特别是研究命题联结词的逻辑性质和推理规律[4]。命题逻辑分为经典命题逻辑和非经典命题逻辑,后者如构造逻辑、模态逻辑等逻辑系统中的命题逻辑部分[4]。历史上最早研究命题逻辑的是古希腊斯多阿学派的哲学家，现代对命题逻辑的研究始于19世纪中叶的G.布尔，G.弗雷格则于1879年建立了第一个经典命题逻辑的演算系统[5]。命题逻辑是研究关于命题如何通过一些逻辑连接词构成更复杂的合理以及逻辑推理的方法[6]。

1 命题逻辑在计算机语言中的运用

逻辑推理和判断方面的问题,用常规的方法很难或者根本无法求解出来,这个时候就理所当然地想到使用计算机编程求解。……