百度百科里的内容好像是直接从中文维基里摘取的,因为是翻译的英文,可能不符合中文习惯
如果你英文好直接上英文维基看就好,中文的互动百科写得不错
互动百科里的定义如下:
命题逻辑 是现代逻辑较简单、较基本的组成部分,它不考虑把命题分析成个体词、谓词和量词等非命题成分的组合,只研究由命题和命题联结词构成的复合命题、特别是研究命题联结词的逻辑性质和推理规律.命题逻辑分为经典命题逻辑和非经典命题逻辑,后者如构造逻辑、模态逻辑等逻辑系统中的命题逻辑部分.历史上最早研究命题逻辑的是古希腊斯多阿学派的哲学家.现代对命题逻辑的研究始于19世纪中叶的G.布尔.G.弗雷格则于1879年建立了第一个经典命题逻辑的演算系统.
命题逻辑,一阶逻辑和数理逻辑的关系是
命题逻辑属于一阶逻辑,一阶逻辑里还包括谓词逻辑等
一阶逻辑属于数理逻辑,显然有一阶就还有高阶的