姹熻嫃绉戞妧澶у�� 鏁扮悊閫昏緫2010璇曢�樸�佹暟鐞嗛�昏緫2011璇曢�� - 鐧惧害鏂囧簱

（3）如果A是C?(B?D)，则先求B?D的前束范式F，再求C?F的前束范式.

C?B)?D，则先求C?B的前束范式F，再求F?D的（4）如果A是(前束范式. ■

数理逻辑和计算机科学有着十分密切的关系，无论是数字电子计算机雏形的图灵机，还是数字电路的布尔代数，以及作为程序设计工具的语言、程序设计方法学、关系数据库、知识库、编译方法、人工智能等领域均离不开数理逻辑。同时，由于两者的相互渗透推动了数理逻辑的发展。因此学好数理逻辑对于计算机科学理论的研究有重要的作用。数理逻辑的研究内容概括的讲是两个演算加上四论[1]，两个演算为命题演算和谓词演算；四论为递归论、证明论、模型论、公理集合论。其中命题演算和谓词演算是四论的共同基础。命题演算的一个具体模型就是逻辑代数。逻辑代数也叫做开关代数，它的基本运算是逻辑加、逻辑乘和逻辑非，也就是命题演算中的“或”、“与”、“非”，运算对象只有两个数 0和 1，相当于命题演算中的“真”和“假”。

利用电子元件组成相当于逻辑加、逻辑乘和逻辑非的门电路（就是逻辑元件）。还能把简单的逻辑元件组成各种逻辑网络，这样任何复杂的逻辑关系都可以有逻辑元件经过适当的组合来实现，从而使电子元件具有逻辑判断的功能。因此，在自动控制或智能控制方面有重要的应用。其应用可参考文献[5，6]。本文主要介绍数理逻辑在计算机科学中的应用。