首页|国学书库|影印古籍|诗词宝典|精选|汉语字典|汉语词典|部件查字|书法大师|甲骨文|历史人物|历史典故|年号|姓氏|民族|丛书|中医|软件下载
译文|四库全书|全文检索|古籍书目|正史|成语词典|康熙字典|说文解字|字形演变|金 文|历史地名|历史事件|官职|知识|对联|印谱|地图|会员中心
分析复合命题所包含的命题成分,着重研究命题联结词的性质而导出有关逻辑形式和规律的逻辑理论。它不涉及命题成分内部的结构,以此和谓词逻辑相区别。命题逻辑的公理化就是命题演算。古希腊的斯多葛学派最早提出的逻辑是命题逻辑的萌芽,直到20世纪初数理逻辑形成一门独立的学科,命题逻辑才获得巨大的发展。