摘要:谓词演算 正文 见一阶逻辑。 配图 相关连接[阅读全文]
摘要: 在句义中直接说明话题的成分,相应于在语法中充当谓语的动词或形容词,主要反映动作或情感的变化、性质或情感的变化。[阅读全文]
摘要:谓词逻辑 正文 形式逻辑的最根本部分,也是最基本的逻辑系统或理论。在谓词逻辑中,除研究复合命题的命题形式、命题联结词的逻辑性质和规律外,还把命题分析成个体词、谓词和量词等非命题成分,研究由这些非命题成分组成的命题形式的逻辑性质和规律。谓词逻辑把命题逻辑作为子系统,但为了研究方便,同时也由于它具有某些重要的特殊性质,命题逻辑通常又作为一个独立的系统先研究,而在谓词逻辑部分则集中研究由非命题成分组成的命题形式和量词的逻辑性质与规律。只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑,简称[阅读全文]