首页|国学书库|影印古籍|诗词宝典|精选|汉语字典|汉语词典|部件查字|书法大师|甲骨文|历史人物|历史典故|年号|姓氏|民族|丛书|中医|软件下载
译文|四库全书|全文检索|古籍书目|正史|成语词典|康熙字典|说文解字|字形演变|金 文|历史地名|历史事件|官职|知识|对联|印谱|地图|会员中心
将命题分解为主词、谓词和量词，研究其形式结构，导出有关的逻辑形式和规律的逻辑理论。因其基本推理规则是关于量词的引入和消去的规则，故亦称“量词逻辑”。谓词逻辑的公理化就是谓词演算。弗雷格于19世纪末20世纪初建立了第一个初步自足的公理化的谓词逻辑系统。
