2024年12月24日一稿
2025年1月1日
🦔2.1 谓词逻辑的基本概念🌭
在命题逻辑中，命题是最基本的单位，对简单命题不再进行分解，并且不考虑命题之间的内在联系和数量关系。因而命题逻辑具有局限性，甚至无法判断一些简单而常见的推理。
为了克服命题逻辑的局限性，就应该将简单命题再细分，分析出个体词、谓词和量词，以期表达出个体与总体的内在联系和数量关系，这就是谓词逻辑所研究的内容。谓词逻辑也称一阶谓词逻辑或一阶逻辑。
🍞2.1.1 个体词🥑
🍞2.1.2 谓词🥑
🍞2.1.3 量词🥑
🦔2.2 谓词逻辑公式与翻译🌭
🍞2.2.1 一阶语言🥑
🍞2.2.2 自由与约束🥑
🍞2.2.3 闭公式🥑
🍞2.2.4 谓词逻辑公式的解释🥑
🍞2.2.5 谓词逻辑命题符号化🥑
🍞2.2.6 一阶公式的分类🥑
🦔2.3 谓词逻辑等值演算🌭
🍞2.3.1 基本等价式与置换规则🥑
🍞2.3.2 谓词逻辑前束范式🥑
🦔2.4 谓词演算的推理理论🌭
🍞2.4.1 推理定律🥑
🍞2.4.2 量词消去与引入规则🥑
🍞2.4.3 一阶谓词演算公理系统F1🥑
🍞2.4.4 自然推理系统F2🥑
🦔2.5 谓词演算中的归结推理🌭
🍞2.5.1 子句型🥑
🍞2.5.2 置换和合一🥑
🍞2.5.3 合一算法🥑
🍞2.5.4 归结式🥑
🍞2.5.5 归结反演及其完备性🥑
🦔2.6 逻辑在计算机科学中的作用🌭
Reference
数理逻辑（3）——谓词逻辑的基本概念 - tetradecane的文章 - 知乎
https://zhuanlan.zhihu.com/p/83128696https://zhuanlan.zhihu.com/p/491290557
https://zhuanlan.zhihu.com/p/654249053
https://zhuanlan.zhihu.com/p/83301446
【离散数学】数理逻辑 第二章 谓词逻辑(1) 谓词、量词（全称和存在量词、全总个体域和特性谓词）-CSDN博客
http://www.tup.tsinghua.edu.cn/upload/books/yz/043550-01.pdf
【离散数学】数理逻辑 第二章 谓词逻辑(2) 谓词公式及其符号化、谓词公式的赋值-CSDN博客
Microsoft Word - 扉页
数理逻辑（3）——谓词逻辑的基本概念 - 知乎
