离散数学 课件 03谓词逻辑.pptx

离散数学

主讲人：

第三章：谓词逻辑

谓词逻辑的历史阶段核心人物/学派关键贡献萌芽亚里士多德创立了三段论，历史上第一个系统的逻辑学体系奠基弗雷格创建了现代谓词逻辑系统完善与普及朱塞佩·皮亚诺伯特兰·罗素诺斯·怀特海皮亚诺引入了许多清晰易用的逻辑符号，罗素等构建了庞大详细的逻辑体系，试图将整个数学建立在逻辑之上探索大卫·希尔伯特库尔特·哥德尔希尔伯特提出了证明数学系统一致性、完备性和可判定性的问题，哥德尔给出了决定性证明延伸阿尔弗雷德·塔尔斯基定义了“真”，区分了对象语言和元语言

弗雷格的突破贡献整个逻辑历史中最关键、最具革命性的飞跃，在1879年的《概念文字》中，创建了现代谓词逻辑系统以为