论文部分内容阅读
本文用直观的方法概述构成数理逻辑基础的命题演算和谓词演算的基本内容。在命题逻辑中讲解了什么叫命题,命题的演算连接词、等价式、规范等概念,以及有关应用问题的举例,其中重点是逻辑连接词;在谓词逻辑中讲解了什么叫谓词、个体词和量词,以及谓词演算的基本规律和有关应用问题的举例,指出谓词演算是建立在命题演算基础之上的;并扼要介绍了命题演算和谓词逻辑的公理化。