| 词条 | 谓词逻辑 |
| 类别 | 中文百科知识 |
| 释义 | 谓词逻辑分类：【文化精萃】 亦称量词逻辑。数理逻辑的基础部分。它是以命题逻辑为前提，进一步将简单命题分析为个体词、谓词和量词所组成，由此研究命题的形式结构、推理规则的逻辑演算理论。命题逻辑研究了一些有效的推理形式，但远远没有包括所有的有效推理式。例如，最古老的三段论推理，“凡人皆有死，苏格拉底是人，所以，苏格拉底有死”，它的两个前提和结论是三个不同的简单命题，用命题逻辑的手段只能将此推理形式处理为：p∧q→r。但这并不是命题逻辑的重言式。可见三段论的正确性在命题逻辑里得不到反映，更不说那些形式更为复杂的推理了，它们的正确性决定于谓词和量词的特征。谓词逻辑首先把命题中的个体和个体的性质以及个体间的关系区分开来，引进个体变项元如x，y，z等表示任意的不确定的个体，引进谓词变元如F，G，H等，用一元谓词如Fx、G(y)等表示个体的性质，用多元谓词如F( x ，y)、H(x，y， z )等表示个体间的关系。然后，引进量词限定个体的数量和范围。量词共分二种：全称量词和存在量词，分别用和表示。使用量词、个体变元和谓词变元，就可以刻化简单命题的结构，如 xFx， x y |
| 随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。