摘要：离散数学与现在的计算机科学、程序设计、通信理论和数字信号处理等都有着紧密的联系。当有着深厚数学理论功底的人员向技术科学方面发展时，学习离散数学的相关知识是必要的。而想要了解离散数学学习数理逻辑就是一个很好的开始。数理逻辑的主要内容有命题逻辑以及一阶逻辑，命题逻辑是加强数学思想和训练科学技能的基础，有利于解决许多数学和科学方面的逻辑问题，使培养有较高思维能力的高素质人才成为可能。掌握好命题逻辑这方面的学习可以开发我们的大脑，使我们的思维越来越缜密，解决问题时也可以更加的准确。在问题分析中，通过逻辑分析可以把问题变得更加简便易懂，从而形成对问题本身的充分理解，最后轻松找到问题的答案。命题逻辑虽是思维训练良好的开端，但还是有一些局限性，而一阶逻辑就是对命题逻辑的补充和强化。通过对一阶逻辑的学习和研究，那些命题逻辑不能解决的问题也可以轻易的被理解和解答。本文主要对命题，联结词和一阶逻辑的相关理论进行了简单论述。

关键词：命题逻辑；一阶逻辑；基础；逻辑问题

目录

摘要

Abstract

引    言-1

1. 命题逻辑-2

1.1命题的概念-2

1.2联结词的基本知识-2

1.3命题的分类-3

1.4命题的公式-4

1.5命题的等值演算-6

1.6命题的范式-9

1.7 命题逻辑的推理规则-12

2. 一阶逻辑-15

2.1一阶逻辑的概念-15

2.2一阶逻辑和命题逻辑的关系-16

2.3一阶逻辑的公式-16

2.4一阶逻辑的等值演算及其范式-18

2.5一阶逻辑的推理-20

结论-23

参考文献-24