命题逻辑
邏輯系統 / 维基百科,自由的 encyclopedia
命题逻辑是逻辑学的一个分支。[1] 它也称为命题演算、句子演算、句子逻辑,有时也称为零阶逻辑。它涉及命题(可以是真或假)和命题之间的关系,包括基于它们的论证的构建。复合命题是通过逻辑连接词连接命题而形成的。不包含逻辑连接词的命题称为原子命题。 与一阶逻辑不同,命题逻辑不处理非逻辑对象、以及关于它们的谓词或量词。然而,命题逻辑的所有机制都包含在一阶逻辑和高阶逻辑中。从这个意义上说,命题逻辑是一阶逻辑和高阶逻辑的基础。
在逻辑和数学里, 命题逻辑是一个形式系统, 有可以由以逻辑运算符结合原子命题来构成代表“命题”的公式,以及允许某些公式建构成“定理”的一套形式“证明规则”。