查人人中国名人网桩桩小说作品集:什么是“一阶逻辑”？
来源：百度文库 编辑：查人人中国名人网 时间：2024/05/04 07:02:27
在命题逻辑中，有些问题得不到解决
例如：判断以下推理是否正确：
凡人都是要死的，
苏格拉底是人，
所以苏格拉底是要死的。
这是著名的“苏格拉底三段论”，若用分别表示以上3个命题，推理形式为，不是重言式，也就是说用命题逻辑无法解决这个根据常识就可断定的正确推理。
因此，有必要研究简单命题的各种成分(个体词，谓词，量词)，以及它们的形式结构和逻辑关系，总结出正确的推理形式和规则。这部分内容即一阶逻辑(又称谓词逻辑)。