谓词逻辑

谓词逻辑   

将命题分解为主词、谓词和量词,研究其形式结构,导出有关的逻辑形式和规律的逻辑理论。因其基本推理规则是关于量词的引入和消去的规则,故亦称“量词逻辑”。谓词逻辑的公理化就是谓词演算。弗雷格于19世纪末20世纪初建立了第一个初步自足的公理化的谓词逻辑系统。

 

国学大师APP下载

X