数理逻辑（Mathematical Logic），又称为符号逻辑，是数学的一个分支，主要研究符号表达式的结构、形式和意义。它使用数学的方法来研究逻辑的基本原理，包括推理规则、证明理论、模型论和集合论等。
数理逻辑的核心内容包括：
1. 命题逻辑：研究命题之间的关系，如真值、逻辑连接词（如“与”、“或”、“非”、“如果”、“那么”等）和逻辑运算。
2. 谓词逻辑：在命题逻辑的基础上，引入了变量、量词（全称量词“所有”和存在量词“存在”）和谓词，能够表达更复杂的逻辑关系。
3. 证明论：研究证明的结构和规则，探讨证明的合理性。
4. 模型论：研究逻辑理论的语言、结构及其解释，研究理论的结构性质。
5. 集合论：研究集合的性质和运算，是数理逻辑的基础。
数理逻辑在计算机科学、数学、哲学等领域都有广泛的应用。例如，在计算机科学中，数理逻辑用于编程语言的语义学、算法的正确性证明等；在数学中，数理逻辑用于公理化、证明的严格性等；在哲学中，数理逻辑用于语言分析、知识表示等。
数理逻辑的研究方法主要包括符号化、形式化、证明和模型等。通过数理逻辑，我们可以对复杂的问题进行精确的描述和推理，从而为科学研究和实际应用提供有力的工具。
