首页|国学书库|影印古籍|诗词宝典|精选|汉语字典|汉语词典|部件查字|书法大师|甲骨文|历史人物|历史典故|年号|姓氏|民族|丛书|中医|软件下载
译文|四库全书|全文检索|古籍书目|正史|成语词典|康熙字典|说文解字|字形演变|金 文|历史地名|历史事件|官职|知识|对联|印谱|地图|会员中心
数理逻辑的基本组成部分。在谓词演算里，分析简单命题的内部结构（主语和谓语、全体和部分），研究由命题和命题形式经使用*命题联接词、*量词构成的命题的逻辑形式，以及它们之间的逻辑推理关系。谓词演算在计算机科学中有广泛应用。
