摘要:数理逻辑是计算机与人工智能等重要领域的核心基础课程，也是广大非数理逻辑专家们最为关心的部分，特别是对于从事计算机专业、应用数学专业和人工智能专业等教学与研究的老师们和学生们，熟悉和掌握逻辑演算理论就是必需的。本论文对离散数学中数理逻辑的核心知识进行系统的理论阐述，举出典型例子探讨离散数学中数理逻辑在日常生活的精彩应用，做到深入浅出，使实际与理论相结合。论文主要应从数理逻辑的基本定义讲起，并对数理逻辑的应用进行说明，重点讨论 “离散数学中数理逻辑在人工智能知识的应用”，最后探讨挖掘发现数理逻辑在应用领域的前景。

关键词：数理逻辑理论阐述；数理逻辑在人工智能上的应用；未来应用领域的前景

目录

摘要

Abstract

1.引言1

2.数理逻辑基本定义与公式演算推算 2

2.1引入离散数学和数理逻辑的定义1

2.2命题逻辑基本概念2

2.3命题逻辑等值演算3

2.4命题逻辑的推理理论4

3.数理逻辑的应用4

3.1等值演算方法求解实际问题5

3.2 数理逻辑中谓词逻辑的应用7

3.3离散数学中数理逻辑在人工智能知识的应用7

4.数理逻辑未来的应用前景8

参考文献9

致谢10