摘要:命题逻辑 正文 现代逻辑较简单、较基本的组成部分,它不考虑把命题分析成个体词、谓词和量词等非命题成分的组合,只研究由命题和命题联结词构成的复合命题、特别是研究命题联结词的逻辑性质和推理规律。命题逻辑分为经典命题逻辑和非经典命题逻辑,后者如构造逻辑、模态逻辑等逻辑系统中的命题逻辑部分。历史上最早研究命题逻辑的是古希腊斯多阿学派的哲学家。现代对命题逻辑的研究始于19世纪中叶的G.布尔。G.弗雷格则于1879年建立了第一个经典命题逻辑的演算系统。 语法和语义 研究命题逻辑需[阅读全文]